尤里·安德鲁斯;诺亚·施韦伯;安德烈·索比 塞尔斯理论计算真正的算术。 (英语) Zbl 1442.03021号 Ann.纯粹应用。逻辑 171,第8期,文章ID 102811,22 p.(2020). 本文致力于研究可计算可枚举等价关系的偏序。结果表明,ceers在可计算约简下的偏序理论与真算法是1-等价的。此外,还证明了由暗电荷组成的结构和由光电荷构成的结构具有相同的结果。在黑暗、光明或完整的结构中,(mathcal{I})度的结构也是如此。在每种情况下,都证明了\((\mathbb{N},+,\times)\)的一个可解释副本。审核人:罗曼·穆拉夫斯基(波兹南) 引用于1审查引用于9文件 MSC公司: 03D25号 递归(可计算)可枚举集合和次数 03日30分 可计算性和递归理论中的其他度和可约性 30楼03号 一阶算术和分段 关键词:可计算可枚举等价关系;等价关系的可计算可约性 PDF格式BibTeX公司 XML格式引用 \textit{U.Andrews}等人,Ann.Pure Appl。逻辑171,第8号,文章ID 102811,22页(2020;Zbl 1442.03021) 全文: 内政部 arXiv公司 参考文献: [1] 安德鲁斯,美国。;Badaev,S.,《可计算可枚举等价关系的同构类》,J.Symb。日志。,85, 1, 61-86 (2020) ·兹比尔1452.03092 [2] 安德鲁斯,美国。;莱姆普,S。;Miller,J.S。;Ng,K.M。;圣毛罗。;Sorbi,A.,《通用可计算可枚举等价关系》,J.Symb。日志。,79, 1, 60-88 (2014) ·Zbl 1338.03076号 [3] 安德鲁斯,美国。;Sorbi,A.,可计算可枚举等价关系的跳跃,Ann.Pure Appl。日志。,169, 243-259 (2018) ·Zbl 1406.03055号 [4] 安德鲁斯,美国。;Sorbi,A.,加入ceers,Computability,8,3-4,193-241(2019)的结构并会面·Zbl 1454.03048号 [5] 贝克尔,H。;Kechris,A.S.,《波兰群体行动的描述性集合理论》,伦敦数学学会讲座笔记系列,第232卷(1996),剑桥大学出版社·Zbl 0949.54052号 [6] 伯纳迪,C。;Sorbi,A.,《正等价关系的分类》,J.Symb。日志。,48, 3, 529-538 (1983) ·Zbl 0528.03030号 [7] 蔡,M。;甘切夫,H.A。;勒普,S。;Miller,J.S。;Soskova,M.I.,《在枚举度中定义总体》,《美国数学杂志》。Soc.,29,4,1051-1067(2016)·Zbl 1402.03061号 [8] Carroll,J.S.,递归理论中格的一些不可判定性结果,Pac。数学杂志。,122, 2, 319-331 (1986) ·Zbl 0558.03021号 [9] 于尔肖夫(Yu Ershov)。L.,正等价,代数对数。,10, 6, 378-394 (1973) ·Zbl 0276.02024号 [10] 于尔肖夫(Yu Ershov)。L.,Theorye der Numerierungen I,Z.数学。日志。格兰德。数学。,19, 289-388 (1973) ·兹比尔0295.02025 [11] Fokina,E.B。;弗里德曼,S.D。;Harizanov,V。;Knight,J.F。;McCoy,C。;Montalbán,A.,可计算结构上的同构关系,J.Symb。日志。,77, 1, 122-132 (2012) ·Zbl 1255.03040号 [12] Fokina,E.B。;弗里德曼,S.D。;Törnquist,A.,《Borel等价关系的有效理论》,Ann.Pure Appl。日志。,161, 7, 837-850 (2010) ·Zbl 1223.03031号 [13] Fokina,E.B。;库萨诺夫,B。;Semukhin,P。;Turetsky,D.,通过c.e.等价关系实现的线性阶,J.Symb。日志。,81, 2, 463-482 (2016) ·Zbl 1371.03049号 [14] 甘切夫,H。;Soskova,M.,《在枚举度的局部结构中解释真算术》,J.Symb。日志。,77, 4, 1184-1194 (2012) ·Zbl 1257.03066号 [15] 甘切夫,H.A。;Soskova,M.I.,通过计数度结构中的Kalimullin对定义,Trans。美国数学。Soc.,367,7,4873-4893(2015)·Zbl 1375.03047号 [16] 高,S。;Gerdes,P.,可计算可枚举等价关系,Stud.Log。,67, 1, 27-59 (2001) ·Zbl 0981.03046号 [17] 加夫鲁斯金,A。;Jain,S。;库萨诺夫,B。;Stephan,F.,由r.e.等价关系实现的图,Ann.Pure Appl。日志。,165, 7, 1263-1290 (2014) ·Zbl 1351.03028号 [18] 霍奇斯,W.,《模型理论,数学及其应用百科全书》(1993),剑桥大学出版社:剑桥大学出版社·Zbl 0789.03031号 [19] Korec,I.,关于一阶可定义性的完整算术结构列表,Theor。计算。科学。,257, 115-151 (2001) ·Zbl 0971.03035号 [20] Miller,C.F.,关于群论决策问题及其分类。(AM-68),第68卷(1971),普林斯顿大学出版社:普林斯顿大学出版,新泽西州普林斯顿·Zbl 0277.20054号 [21] Montagna,F.,《相对预完成的计算和算术》,J.Philos。日志。,11, 4, 419-430 (1982) ·Zbl 0498.03046号 [22] Nerode,A。;Shore,R.A.,可约性排序的二阶逻辑和一阶理论,(克莱恩研讨会,克莱恩研讨会,威斯康星大学,威斯康星麦迪逊分校,1978年。克莱恩研讨会。克莱恩研讨会,Proc。交响乐。,威斯康星大学,威斯康星州麦迪逊分校,1978年,逻辑基础数学研究生。,第101卷(1980年),《北荷兰:北荷兰阿姆斯特丹-纽约》,181-200·Zbl 0465.03024号 [23] Nies,A.,关于递归可枚举m次的最后一个问题,代数日志。,33, 5, 307-314 (1994) ·Zbl 0846.03017号 [24] Nies,A.,模有限差分递归可枚举等价关系,数学。日志。Q.,40,4,490-518(1994)·Zbl 0829.03024号 [25] Nies,A。;肖尔,R.A。;Slaman,T.A.,递归可枚举度的可解释性和可定义性,Proc。伦敦。数学。Soc.(3),77,2,241-291(1998)·Zbl 0904.03028号 [26] 聂斯,A。;Sorbi,A.,通过等价关系的复杂性校准组的单词问题,数学。结构。计算。科学。,1-15 (2018) [27] Rogers,H.,递归函数和有效计算性理论(1967),McGraw-Hill:McGraw-Hill纽约·Zbl 0183.01401号 [28] Shore,R.A.,《0′以下度的理论》,J.Lond。数学。《社会学杂志》,24,1-14(1981)·Zbl 0469.03027号 [29] 辛普森,递归不可解度的一阶理论,《数学年鉴》。,105, 121-139 (1977) ·Zbl 0349.02035号 [30] 斯拉曼,T.A。;Woodin,W.H.,《图灵学位的可定义性》,伊利诺伊州数学杂志。,30, 320-334 (1986) ·Zbl 0592.03030号 [31] 斯拉曼,T.A。;Woodin,W.H.,枚举度中的可定义性,Arch。数学。日志。,36225-267(1997年)·Zbl 0906.03043号 [32] Soare,R.I.,《递归可枚举集和度数,数学逻辑中的透视》,《欧米茄系列》(1987),斯普林格·弗拉格:斯普林格尔·弗拉格·海德堡·Zbl 0623.03042号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。