开放式访问
2009 关于对角线集的度数与马丁定理类比的失败
Keng Meng Ng公司
圣母院J.形式逻辑 50(4): 469-493 (2009年)。 内政部:10.1215/00294527-2009-022

摘要

Kummer引入了半超简单c.e.集,也称为对角线。他表明,通过考虑超超简单的类似物,可以刻画出相对于任意可计算数的暂停问题的集合。人们还可以考虑极大集或超超单集的一半分裂,得到极大性和超超单的另一种变体,这与c.e.集的自同构研究密切相关。我们研究了这类c.e.集的图灵度。特别地,我们证明了马丁定理的类比对于这些类是失败的。

引用

下载引文

Keng Meng Ng。 “关于对角线集的度数和马丁定理类比的失败。” 圣母院J.形式逻辑 50 (4) 469 - 493, 2009 https://doi.org/10.1215/00294527-2009-022

问询处

发布时间:2009年
首次在欧几里德项目中提供:2010年2月11日

zbMATH公司:1202.03049
数学科学网:MR2598875型
数字对象标识符:10.1215/00294527-2009-022

学科:
主要:2005年3月25日
次要:第68季度30

关键词:可计算的数字,超超单,最大

版权所有©2009年圣母大学

第50卷•第4期•2009
返回页首