摘要
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日
数字对象标识符:10.1215/00294527-2009-022
学科:
主要:2005年3月25日
次要:第68季度30
关键词:可计算的数字,超超单,最大
版权所有©2009年圣母大学