Askarbekkyzy,A。;北卡罗来纳州巴兹诺夫。;卡尔穆尔扎耶夫,B.S。 类型\(\omega\)的可计算线性阶的可计算可约性。 (英语) Zbl 07798281号 数学杂志。科学。,纽约 267,第4期,429-443(2022). 摘要:我们研究自然数标准顺序的可计算同构副本的可计算可约性。继安德鲁斯和索比之后,我们在诱导度结构(黑体符号{\Omega})中分离出自满度类。我们证明,在距\(\boldsymbol{\Omega}\)任意度的范围内,存在一个自满度的无限反链。这一事实意味着偏序集(\boldsymbol{\Omega})具有连续的许多自同构。我们证明了来自\(\boldsymbol{\Omega}\)的任何非自满度都没有最小覆盖,这意味着,在\(\boldsymbol{\Omega})内部,自满度正是那些具有最小覆盖的元素。 MSC公司: 03年月日 可计算性和递归理论 03Cxx号 模型理论 03年XX月 数学逻辑和基础 PDF格式BibTeX公司 XML格式引用 \textit{A.Askarbekyzy}等人,J.数学。科学。,纽约267,第4号,第429-443页(2022年;Zbl 07798281) 全文: 内政部 参考文献: [1] Ershov,YL,正等价,代数逻辑,10,6,378-394(1971)·Zbl 0276.02024号 ·doi:10.1007/BF02218645 [2] 伯纳迪,C。;Sorbi,A.,《正等价关系的分类》,J.Symb。日志。,48, 3, 529-538 (1983) ·Zbl 0528.03030号 ·doi:10.2307/2273443 [3] 高,S。;Gerdes,P.,可计算可枚举等价关系,Stud.Log。,67, 1, 27-59 (2001) ·Zbl 0981.03046号 ·doi:10.1023/A:1010521410739 [4] Andrews,U.,《通用可计算可枚举等价关系》,J.Symb。日志。,79, 1, 60-88 (2014) ·Zbl 1338.03076号 ·doi:10.1017/jsl.2013.8 [5] 安德鲁斯,美国。;巴达耶夫,S。;Sorbi,A.,关于通用可计算可枚举等价关系的调查,Lect。注释计算。科学。,10010, 418-451 (2017) ·Zbl 1485.03146号 ·文件编号:10.1007/978-3-319-50062-1_25 [6] 安德鲁斯,美国。;Sorbi,A.,加入ceers,Computability,8,3-4,193-241(2019)的结构并会面·Zbl 1454.03048号 ·doi:10.3233/COM-180098 [7] 南非巴达耶夫;北卡罗来纳州巴兹诺夫;Kalmurzaev,BS,可计算可枚举预序关系的结构,代数逻辑,59,3,201-215(2020)·Zbl 1462.03018号 ·数字对象标识代码:10.1007/s10469-020-09592-x [8] 卡里穆林,I。;梅尔尼科夫,A。;Ng,KM,可无延迟计算的代数结构,Theor。计算。科学。,674, 73-98 (2017) ·Zbl 1418.03151号 ·doi:10.1016/j.tcs.2017.01.029 [9] IS卡利穆林;Melnikov,AG公司;Ng,KM,《毫不拖延地分类的多样性》,代数逻辑,56,2,171-177(2017)·Zbl 1423.03151号 ·doi:10.1007/s10469-017-9437-6 [10] 罗森斯坦,JG,《线性排序》(1982),纽约:学术出版社,纽约·Zbl 0488.04002号 [11] Melnikov,AG公司;Ng,KM,无延迟的来回方法和可计算性,Isr。数学杂志。,234, 2, 959-1000 (2019) ·Zbl 1508.03073号 ·doi:10.1007/s11856-019-1948-5 [12] Kabylzhanova,DK,正序,代数逻辑,57,3,182-185(2018)·Zbl 1485.03113号 ·doi:10.1007/s10469-018-9491-8 [13] 南非巴达耶夫;Kalmurzayev,理学学士;NK穆卡什;Khamitova,AA,阳性预购特殊类别,兄弟Elektron公司。Mat.Izv.公司。,18, 2, 1657-1666 (2021) ·Zbl 1496.03167号 ·doi:10.33048/semi.2021.18.125 [14] Fokina,E。;Rossegger,D。;San Mauro,L.,Bi-embeddability光谱和光谱基础,数学。日志。Q.,65,2,228-236(2019)·Zbl 1521.03084号 ·doi:10.1002/malq.201800056 [15] Bazhenov,N。;Fokina,E。;Rossegger,D。;San Mauro,L.,可嵌入分类的程度,可计算性,10,1,1-16(2021)·Zbl 07363322号 ·doi:10.3233/COM-190289 [16] N.Bazhenov、D.Rossegger和M.Zubkov,“关于代数结构的双嵌入范畴”,《Ann.Pure Appl。Logic173,第3号,文章ID 103060(2022)·Zbl 1505.03080号 [17] V.S.Harizanov,“可计算关系的某些同构图像的图灵度”,《纯粹应用年鉴》。Logic93,编号1-3103-113(1998)·Zbl 0946.03051号 [18] 海伊,L。;马纳斯特,AB;罗森斯坦,JG,关于线性序集的部分递归相似变换,Pac。数学杂志。,71, 57-70 (1977) ·Zbl 0409.03027号 ·doi:10.2140/pjm.1977.71.57 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。