×
S.Barry库珀;利奥·哈灵顿;阿利斯泰尔·拉克伦。;斯泰芬·伦普;罗伯特·索尔。

直流电温度不高。 （英语） Zbl 0756.03020号

Ann.纯粹应用。逻辑 55，第2期，125-151（1991）; 更正同上，168，第12号，2164-2165（2017）。
本文的主要结果是证明了（mathbf{0}’）是d.r.e.Turing度中的最小覆盖。证明是一个复杂的（mathbf{0}“”）优先级参数，其中心策略类似于Lachlan连接策略[第三作者Ann.Math.Logic 9，307-365（1975；Zbl 0357.02040号)]. 还需要一些进一步的技术设备来进行验证。这篇论文写得非常好，很容易理解。该结果不仅应与萨克斯密度定理进行对比，还应与库珀的结果进行对比，即{低}_博士学位密集[第一作者出现]和库珀·伦普-沃森结果[第一和第四作者和P.沃森，以色列。数学杂志。67, 137-152 (1989;Zbl 0691.03023号)]如果\（{mathbfa}<{mathbfb}\）是\（n）-re.，则存在一个带有\（{Mathbfa}<{mathbfc}<{mathbfb}\）的\（n+1）r.e.度\（{MAThbfc}\）。
审核人：R.Downey（伊萨卡）

引用于2评论
引用于41文件

MSC公司：

03D25号 递归（可计算）可枚举集和度

关键词：

d.r.e.图灵度;优先级参数;拉克伦加入战略

引文：

兹比尔0357.02040;Zbl 0691.03023号
PDF格式BibTeX公司 XML格式引用
\textit{S.B.Cooper}等人，Ann.Pure Appl。逻辑55，No.2，125--151（1991；Zbl 0756.03020）
全文： DOI程序

参考文献：

[1] Arslanov，M.M.，以下等级的结构特性0’，多克尔。阿卡德。Nauk SSSR（N.S.），第283、2、270-273页（1985年）
[2] Arslanov，M.M.，《关于Ershov层次度的结构属性》，Izv。维什。乌切布。扎韦德。材料，7，27-33（1988）·Zbl 0665.03034号
[3] 库珀，S.B。；莱姆普，S。；Watson，P.，弱密度和d-r.e.度的拔罐，以色列数学杂志。，67, 137-152 (1989) ·Zbl 0691.03023号
[4] Downey，R.G.，D.R.e.度和非金刚石定理，Bull。伦敦数学。Soc.，21，43-50（1989）·Zbl 0628.03030号
[5] 爱泼斯坦，R.L。；哈斯，R。；Kramer，R.，集和度的层次结构0'，（Lerman，M.；Schmerl，J.H.；Soare，R.I.，《1979-80逻辑年：康涅狄格大学》（1981），施普林格：施普林格柏林），32-48·Zbl 0467.03046号
[6] 于尔肖夫（Yu Ershov）。L.，关于集合的层次结构，I/II/III，代数I Logika，9，34-51（1970）·Zbl 0273.02025号
[7] 乔库什，C.G。；勒曼，M。；苏尔，R.I。；Solovay，R.M.，递归可枚举集模迭代跳跃和Arslanov完全性准则的扩展，J.符号逻辑，54，1288-1323（1989）·Zbl 0708.03020号
[8] 乔库什，C.G。；Soare，R.I.，最小覆盖与算术集，Proc。阿默尔。数学。Soc.，25856-859（1970）·Zbl 0205.01005号
[9] Lachlan，A.H.，递归可枚举度对的下限，Proc。伦敦数学。《社会学杂志》，16537-569（1966）·Zbl 0156.00907号
[10] Lachlan，A.H.，《一个递归可枚举度，不会被所有较小的度分割》，《数学年鉴》。逻辑，9307-365（1976）·Zbl 0357.02040号
[11] Miller，D.，高递归可枚举度和反拔罐性质，（Lerman，M.；Schmerl，J.H.；Soare，R.I.，逻辑年1979-80：康涅狄格大学（1981），施普林格：施普林格柏林），230-245·Zbl 0498.03033号
[12] Putnam，H.，试错谓词和Mostowski问题的解决方案，J.符号逻辑，30，49-57（1965）·Zbl 0193.30102号
[13] Sacks，G.E.，《递归可数度是稠密的》（数学年鉴，80（1964）），300-312，2·Zbl 0135.00702号
[14] T.A.Slaman，作为（Δ^0_2）子结构的递归可数度；T.A.Slaman，作为（Δ^0_2）子结构的递归可枚举度
[15] Soare，R.I.，递归可枚举集和度，透视。数学。《逻辑》（1987），《施普林格：柏林施普林格》·Zbl 0667.03030号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。