高级搜索
2个文件| 711.28 KB 添加到列表

关于递归可枚举度以下的度的跳跃

(2018)NOTRE DAME形式逻辑杂志. 59(1).第91-107页
作者
组织
摘要
我们考虑由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

引用

请使用此url引用或链接到此出版物:

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中查看
科学网
引用次数: