×

类型\(\omega\)的可计算线性阶的可计算可约性。 (英语) Zbl 07798281号

摘要:我们研究自然数标准顺序的可计算同构副本的可计算可约性。继安德鲁斯和索比之后,我们在诱导度结构(黑体符号{\Omega})中分离出自满度类。我们证明,在距\(\boldsymbol{\Omega}\)任意度的范围内,存在一个自满度的无限反链。这一事实意味着偏序集(\boldsymbol{\Omega})具有连续的许多自同构。我们证明了来自\(\boldsymbol{\Omega}\)的任何非自满度都没有最小覆盖,这意味着,在\(\boldsymbol{\Omega})内部,自满度正是那些具有最小覆盖的元素。

MSC公司:

03年月日 可计算性和递归理论
03Cxx号 模型理论
03年XX月 数学逻辑和基础
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[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的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。