×
尤里·安德鲁斯;彼得·格德斯;约瑟夫·米勒。

双超免疫集的程度。 （英语） Zbl 1323.03054号

Ann.纯粹应用。逻辑 165，第3期，803-811（2014）.
图灵度集合向上闭包的研究是可计算性理论的一个有趣的主题，从W.米勒和D.A.马丁[Z.Math.Logik Grundlagen Math.14159-166（1968；Zbl 0216.29102号)]以及C.G.Jockusch六月。[Z.Math.Logik Grundlagen Math.15135-140（1969；Zbl 0184.0202号); J.塞姆。日志。34, 489–493 (1969;Zbl 0181.30601号); Z.数学。Logik Grundlagen数学。18, 285–287 (1972;Zbl 0257.02033号); 以色列。数学杂志。15, 332–335, (1973;Zbl 0279.02024号)]. 由于这些工作，我们知道了免疫、双免疫、超免疫、双高免疫和超超免疫图灵度的向上封闭。双高分学位的案件仍悬而未决。在本文中，作者通过证明双超对称图灵度的向上闭包来缩小这一差距。该策略是为了证明双超型边图灵度的以下特征，从中可以得出向上闭包。给定图灵学位（mathbf d）：
（1） \（mathbf d\）计算\（Delta^0_2\）转义函数，
（2） \（mathbf d\）计算弱2-泛型序列，
（3） \（\mathbf d\）包含一个分块的双类型rimmune集，
（4） \（\mathbf d\）包含一个区块超免疫集，
（5） \（\mathbf d\）包含一个双超免疫集。
论文最后否定地回答了中提出的问题6.6[B.F.Csima公司和I.S.卡利穆林，数学。日志。问题56，第1号，67-77（2010年；兹比尔1184.03025)].
审核人：帕特里齐奥·辛蒂奥利（卡梅里诺）

引用于1文件

MSC公司：

03D28号 其他图灵度结构

关键词：

双超群性;弱2-泛型;逃逸

引文：

Zbl 0216.29102号;Zbl 0184.0202号;兹比尔0181.30601;Zbl 0257.02033号;Zbl 0279.02024号;Zbl 1184.03025号
PDF格式BibTeX公司 XML格式引用
\textit{U.Andrews}等人，Ann.Pure Appl。逻辑165，No.3，803--811（2014；Zbl 1323.03054）
全文： 内政部

参考文献：

[1] 巴里·库珀（Barry Cooper，S.），超超免疫集的跳等价性，符号逻辑杂志，37598-600（1972）·Zbl 0278.02037号
[2] Barry Cooper，S。；安德鲁·刘易斯（Andrew E.M.Lewis）。；Yang，Yue，Propertly\（Sigma_2）最小度和\（0''）互补，MLQ数学。日志。Q.，51，3，274-276（2005）·Zbl 1065.03023号
[3] 巴巴拉·F·卡西玛。；Kalimulin，Iskander S.，度谱和免疫特性，MLQ数学。日志。Q.，56，1，67-77（2010）·Zbl 1184.03025号
[4] 罗德尼·G·唐尼。；卡尔·乔库什（Carl G.Jockusch）。；Paul Schupp，《渐近密度和可计算可数集》，J.Math。日志。，13，2（2013），135005（43页）·Zbl 1326.03048号
[5] 罗德尼·G·唐尼。；卡尔·乔库什（Carl G.Jockusch）。；Michael Stob，《数组非递归集和多重允许参数》，（《递归理论周刊》，《递归理论周》，Oberwolfach，1989年。递归理论周。递归理论周，奥伯沃尔巴赫，1989年，数学讲义。，第1432卷（1990），《施普林格：柏林施普林格》，141-173·Zbl 0713.03020号
[6] Jockusch，Carl G.，《双免疫集的程度》，Z.数学。日志。格兰德。数学。，15, 135-140 (1969) ·Zbl 0184.0202号
[7] Carl G.Jockusch，《超超免疫集的程度》，J.符号逻辑，34489-493（1969）·兹比尔0181.30601
[8] Jockusch，Carl G.，向上关闭双硕士学位，Z.数学。日志。格兰德。数学。，18, 285-287 (1972) ·Zbl 0257.02033号
[9] Jockusch，Carl G.，《向上闭合和内聚度》，以色列数学杂志。，15, 332-335 (1973) ·Zbl 0279.02024号
[10] Jockusch，Carl G.，泛型集的程度，（递归理论：它的推广和应用）（Proc.Logic Colloq.，利兹大学，利兹，1979）。《递归理论：它的推广与应用》（Proc.Logic Colloq.，Univ.Leeds，Lieds，1979），伦敦数学。Soc.课堂讲稿Ser。，第45卷（1980），剑桥大学出版社：剑桥大学出版社，110-139·Zbl 0457.03042号
[11] Kurtz，Stuart A.，不可解性程度中的随机性和一般性（1981），伊利诺伊大学：伊利诺伊乌尔班纳大学，博士论文
[12] 库茨，斯图亚特A.，《弱泛型的概念》，J.符号逻辑，48，3，764-770（1983）·Zbl 0549.03042号
[13] 韦伯·米勒；马丁，D.A.，超免疫集的程度，Z。数学。日志。格兰德。数学。，14, 159-166 (1968) ·Zbl 0216.29102号
[14] Shore，Richard A.，最小度数为（Sigma_2^0）但不是（Delta_2^0。阿默尔。数学。Soc.，132，2563-565（2004），（电子版）·Zbl 1033.03026号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。