×
大卫·R·贝朗格。;理查德·肖尔（Richard A.Shore）。

在递归可枚举度以下的度的跳跃上。 （英语） 兹比尔1455.03052

圣母院J.形式逻辑 59，第1期，91-107（2018）.
摘要：我们考虑由\（\mathrm{JB}（\mathbf{a}）=\{\mathbf{x}'：\mathbf1x}\leq\mathbf2{a}\}）给出的图灵度以下的跳集，重点是这个问题：哪个递归可枚举（r.e.）度\（\mathbf{a}\）是由\？最初，这是作为一种策略来解决R.e.度的偏序（mathcal{R}）的刚性问题。即，我们证明了如果每个高的（{}{2}）r.e.度（mathbf{a}）都是由（mathsf{JB}（mathbf{a}）决定的，那么（mathcal{r}）就不可能有非平凡的自同构。然后，我们通过构造对（mathbf{一}_{0}\），\（\mathbf{一}_{1} 不同r.e.度的\），以便\（\mathrm{JB}（\mathbf{一}_{0}）=\mathrm{JB}（\mathbf{一}_{1} ）\）在任何可能的跳转类\（\{\mathbf{x}:\mathbf{x}'=\mathbf-{c}\}\）中。我们给出了结构的一些扩展，并提出了挽救刚性攻击的方法。

MSC公司：

03D25号 递归（可计算）可枚举集和度
03D28号 其他图灵度结构

关键词：

r.e.度;图灵跳跃;刚性问题
PDF格式BibTeX公司 XML格式引用
\textit{D.R.Belanger}和\textit{R.A.Shore}，圣母院J.形式逻辑59，第1期，91-107（2018；Zbl 1455.03052）
全文： 内政部 欧几里得 链接

参考文献：

[1] Arslanov，M.、S.Lempp和R.A.Shore，“在R.e.度之间插值d-R.e.和REA度”，《纯粹与应用逻辑年鉴》，第78卷（1996年），第29-56页·兹比尔0855.03025 ·doi:10.1016/0168-0072（96）00014-0
[2] Hájek，P.和P.Pudlák，《一阶算术的元数学》，《数学逻辑的观点》第3卷，施普林格，柏林，1993年·Zbl 0781.03047号
[3] Hirschfeldt，D.R.和R.A.Shore，“组合原理弱于拉姆齐对定理”，《符号逻辑杂志》，第72卷（2007年），第171-206页·Zbl 1118.03055号 ·doi:10.2178/jsl/1174668391
[4] Jockusch，C.G.，Jr.和R.A.Shore，“伪跳跃算子，I，The R.e.case，”《美国数学学会学报》，第275卷（1983年），第599-609页·Zbl 0514.03028号
[5] Jockusch，C.G.，Jr.和R.I.Soare，“顺序与递归线性顺序不同构的程度”，《纯粹与应用逻辑年鉴》，第52卷（1991年），第39-64页·Zbl 0734.03026号 ·doi:10.1016/0168-0072（91）90038-N
[6] Lerman，M.，“递归可枚举度的半格的自同构基”，《美国数学学会通告》，第24卷：A-2511977。摘要编号77T-E10。
[7] Nies，A.、R.A.Shore和T.A.Slaman，“递归可数度的可解释性和可定义性”，《伦敦数学学会学报》，（3），第77卷（1998年），第241-91页·Zbl 0904.03028号
[8] Robinson，R.W.，“递归可数度中的跳跃限制插值”，《数学年鉴》，（2），第93卷（1971年），第586-96页·Zbl 0259.02034号 ·数字对象标识代码：10.2307/1970889
[9] Sacks，G.E.，“递归可数性和跳跃算子”，《美国数学学会学报》，第108卷（1963年），第223-39页·Zbl 0118.25103号 ·doi:10.1090/S0002-9947-1963-0155747-3
[10] Shore，R.A.，“α递归可枚举度的一些更极小对”，Zeitschrift füR mathematische Logik und Grundlagen der Mathematik，第24卷（1978年），第409-18页·Zbl 0416.03044号 ·doi:10.1002/malq.19780242505
[11] Shore，R.A.，“跳跃算子的非反转定理”，《纯粹与应用逻辑年鉴》，第40卷（1988年），第277-303页·Zbl 0658.03024号 ·doi:10.1016/0168-0072（88）90034-6
[12] Soare，R.I.和M.Stob，“相对递归可数性”，第299-324页，摘自《赫伯兰研讨会论文集》（马赛，1981年），第107卷《逻辑和数学基础研究》，阿姆斯特丹北荷兰特，1982年·Zbl 0513.03019号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。