作者 -
大卫·贝朗格 ( 根特大学 ) 和 理查德·肖尔 组织 摘要 我们考虑由JB(a)={x(1):x<=a}给出的图灵度以下的跳集,重点是这个问题:哪个递归可枚举(r.e.)度a是由JB? 最初,这是作为一种策略来解决R阶偏阶R的刚性问题。 也就是说,我们证明了如果每个高(2)r.e.度a都由JB(a)决定,则r不可能具有非平凡的自同构。 然后,我们通过构造不同r.e.度的对a(0)、a(1),使任何可能的跳转类{x:x'=c}中的JB(a(0。 我们给出了结构的一些扩展,并提出了挽救刚性攻击的方法。 关键词 r.e.度 , 图灵跳跃 , 刚性问题 , 定理 , 对 , 重新
下载
-
区域pdf 全文 (接受的手稿) | -
开放存取 | PDF格式 | 320.58 KB
-
(…).pdf格式 全文 (已发布版本) | 仅UGent | PDF格式 | 390.70 KB
引用
MLA公司 -
贝朗格、大卫和理查德·肖尔。 “在递归枚举次数以下的次数跳跃。” NOTRE DAME形式逻辑杂志 ,第59卷,2018年第1期,第91-107页,doi:10.1215/0294527-2017-0014。 亚太地区 -
Bélanger,D.和Shore,R.A.(2018年)。 在递归可枚举度以下的度跳跃。 NOTRE DAME形式逻辑杂志 , 59 (1), 91–107. https://doi.org/10.1215/00294527-2017-0014 芝加哥作者日期 -
贝朗格、大卫和理查德·肖尔。 2018.“关于递归可枚举学位以下的学位跳跃。” NOTRE DAME形式逻辑杂志 59 (1): 91–107. https://doi.org/10.1215/00294527-2017-0014。 芝加哥作者日期(所有作者) -
贝朗格、大卫和理查德·肖尔。 2018.“关于递归可枚举学位以下的学位跳跃。” NOTRE DAME形式逻辑杂志 59(1):91–107。 doi:10.1215/0294527-2017-0014。 温哥华 -
1 Bélanger D,Shore RA。 在递归可枚举度以下的度跳跃。 NOTRE DAME形式逻辑杂志。 2018; 59(1):91–107. 电气与电子工程师协会 -
[1] D.Bélanger和R.A.Shore,“关于递归可数度以下的度跳跃,” NOTRE DAME形式逻辑杂志 ,第59卷,第1期,第91–107页,2018年。
@第{8669017条, abstract={{我们考虑由JB(a)={x(1):x<=a}给出的图灵度以下的跳集,重点是这个问题:哪个递归可枚举(r.e.)度a是JB(a)唯一确定的? 最初,这是作为一种策略来解决R阶偏阶R的刚性问题。 也就是说,我们证明了如果每个高(2)r.e.度a都由JB(a)决定,则r不可能具有非平凡的自同构。 然后,我们通过构造不同r.e.度的对a(0)、a(1),使任何可能的跳转类{x:x'=c}中的JB(a(0。 我们给出了该结构的一些扩展,并提出了避免对刚性攻击的方法。}}, author={{贝朗格,大卫和肖尔,理查德A.}}, issn={{0029-4527}}, journal={{NOTRE DAME形式逻辑杂志}}, 关键词={{r.e.度,图灵跳,刚性问题,定理,对,RE}}, 语言={{eng}}, 数字={{1}}, 页数={{91--107}}, title={{在递归可枚举度}}下的度跳跃上, url={{ http://doi.org/10.1215/00294527-2017-0014 }}, 体积={{59}}, 年份={2018年}, }
海拔高度 在Altmetric中查看 科学网 引用次数: