Ng，Keng Meng女士;于洪源 有效控制和有界跳跃。 （英语） Zbl 1461.03035号 圣母院J.形式逻辑 61，第2期，203-225（2020）. 作者摘要：我们研究了有效控制性质与有界跳跃之间的关系。我们回答了关于有界跳跃的两个公开问题：（1）证明了Sacks跳跃反演的模拟对于有界跳跃和wtt-可约性是失败的。（2） 我们证明了任何c.e.有界的高集都不可能是低的，因为它们都必须是图灵完备的。我们将这类c.e.有界高集刻画为那些通过使用一个\（\omega \）-c.e函数有界的约简来计算暂停问题的集。我们定义了有效支配c.e.集的几个概念，并证明了它们与有界高集一起形成了一个适当的层次结构。审核人：Patrizio Cintioli（喀麦隆） 引用于2文件 MSC公司： 03日30分 可计算性和递归理论中的其他度和可约性 03D28号 其他图灵度结构 关键词：wtt度;主导功能;有界跳跃;跳跃反演;高度 PDF格式BibTeX公司 XML格式引用 \textit{K.M.Ng}和\textit{H.Yu}，圣母院J.形式逻辑61，No.2，203--225（2020；Zbl 1461.03035） 全文： 内政部 欧几里得 参考文献： [1] B.安德森和B.F.卡西玛。“有界图灵度的有界跳跃”，《圣母院形式逻辑杂志》，第55卷（2014年），第245-64页·Zbl 1307.03024号 ·doi:10.1215/00294527-2420660 [2] Anderson，B.、B.F.Csima和K.M.Lange，“有界低集和高集”，《数学逻辑档案》，第56卷（2017年），第507-21页·Zbl 1417.03239号 ·doi:10.1007/s00153-017-0537-8 [3] Csima，B.F.，R.Downey和K.M.Ng，“强可约性的跳跃反演极限”，《符号逻辑杂志》，第76卷（2011年），第1287-96页·Zbl 1248.03062号 ·doi:10.2178/jsl/131833849 [4] Downey，R.和N.Greenberg，“可计算可枚举度的层次结构”，《符号逻辑公报》，第24卷（2018年），第53-89页·Zbl 1522.03155号 ·doi:10.1017/bsl.2017.41 [5] Downey，R.和N.Greenberg，《可计算可枚举度、统一类和自然定义中的超有限低级概念层次》，《数学研究年鉴》第385卷，普林斯顿大学出版社，新泽西州普林斯顿，2020年·Zbl 07178475号 [6] Downey，R.、N.Greenberg和R.Weber，“完全（ω）-可计算可数度和边界临界三元组”，《数学逻辑杂志》，第7卷（2007年），第145-71页·Zbl 1149.03032号 ·doi:10.1142/S0219061307000640 [7] Downey，R.、C.Jockusch和M.Stob，“数组非递归集和多重允许参数”，《递归理论周》（Oberwolfach，1989）第141-73页，由K.Ambos-Spies、G.H.Müller和G.E.Sacks编辑，《数学讲义》第1432卷，柏林斯普林格，1990年·Zbl 0713.03020号 [8] Downey，R.、A.G.Melnikov和K.M.Ng，“Abelian（p\）-群与暂停问题”，《纯粹与应用逻辑年鉴》，第167卷（2016年），第1123-38页·Zbl 1402.03067号 [9] Harris，K.，“饱和模型经典定理的有效内容”，芝加哥大学博士论文，芝加哥，2007年。 [10] Ng，K.M.，F.Stephan，Y.Yang和L.Yu，“超免疫自由度的计算方面”，第271-84页，《第十二届亚洲逻辑会议论文集》，由R.Downey，J.Brendle，R.Goldblatt和B.Kim编辑，世界科学，新泽西州哈肯萨克，2013年·Zbl 1364.03054号 [11] 苏尔·R··Zbl 0623.03042号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。