×
罗兰·什·奥马纳泽。

\（sQ_1）-可计算可枚举集的次数。 （英语） Zbl 07680030号

架构（architecture）。数学。逻辑 62，编号3-4，401-417（2023）.
摘要：我们证明了超单集的（sQ）度包括在（le{sQ_1}）下线性排序的（sQ_1）度的无限集合，这些（sQ_）度中的每个c.e.集都是超单集。此外，我们还证明了在（sQ_1）-可约序上存在两个不具有最小上界的c.e.集。我们证明了c.e.（sQ_1）-度不是稠密的，并且如果（a）是c.e<_{sQ_1}一个<_{sQ_1}否'{sQ_1}\），则存在无穷多个成对的（sQ\）-不可数c.e.\（sQ \）-度\（c_i\}{i\in\omega}\）这样的\（对于所有i）\（a<_{sQ_1}c_i<_{sQ_1}否'_{sQ_1}）\）。

引用于1文件

MSC公司：

03D25号 递归（可计算）可枚举集和度
03日30分 可计算性和递归理论中的其他度和可约性

关键词：

可计算可枚举集;\（sQ_1）-度;上半格
PDF格式BibTeX公司 XML格式引用
\textit{R.Sh.Omanadze}，拱门。数学。逻辑62，编号3--4，401-417（2023；Zbl 07680030）
全文： 内政部

参考文献：

[1] Belegradek，OV，代数闭群，代数i Logika，13239-255（1974）·Zbl 0304.20019号
[2] Belegradek，OV，Higman在一般情况下的嵌入定理及其在存在闭代数中的应用，圣母院J.形式逻辑，37，4，613-624（1996）·Zbl 0882.03036号 ·doi:10.1305/ndjfl/1040046145
[3] 布鲁姆，M。；Marques，I.，《关于递归可枚举集的复杂性》，J.Symb。逻辑，38，579-593（1973）·Zbl 0335.02024号 ·doi:10.2307/2271984
[4] Chitaia，I.，超超单集和（\rm Q_1）-可约性，MLQ数学。日志。Q.，62，6，590-595（2016）·兹比尔1372.03092 ·doi:10.1002/毫克.201600045
[5] 奇塔亚，I。；Omanadze，R.，合取可约度结构，Arch。数学。逻辑（2021）·Zbl 1518.03008号 ·doi:10.1007/s00153-021-00774-7
[6] Degtev，A.N.：递归可枚举集和真值型的可约性。菲兹马特利特·诺卡。，莫斯科（1998）。（俄语）·Zbl 0914.03052号
[7] 唐尼，R。；拉福特，G。；Nies，A.，可计算可数集与拟可约性，Ann.Pure Appl。逻辑，95，1-3，1-35（1998）·Zbl 0930.03049号 ·doi:10.1016/S0168-0072（98）00013-X
[8] 吉尔，JT III；Morris，PH，《论亚创造集和（S）-可约性》，J.Symb。逻辑，39，669-677（1974）·Zbl 0296.02020号 ·doi:10.2307/2272852
[9] Jockusch，CG Jr，半递归集与正可约性，Trans。美国数学。《社会学杂志》，131420-436（1968）·Zbl 0198.32402号 ·doi:10.1090/S0002-9947-1968-0220595-7
[10] Marchenkov，S.S.：一类不完备集。Mat.Zametki，20（4），473-478（1976）（俄语）；数学。注释，20823-825（1976）（英文翻译）·Zbl 0396.03035号
[11] Morozov，AS，关于一类递归可枚举集，Sibirsk。材料Zh。，28, 2, 124-128 (1987) ·Zbl 0643.03029号
[12] Odifreddi，P.：经典递归理论。函数和自然数集的理论。逻辑和数学基础研究，125。荷兰出版公司，阿姆斯特丹（1989）·Zbl 0661.03029号
[13] Omanadze，R.Sh.：递归可枚举集的完整性。萨哈特。SSR机械。阿卡德。Moambe，81（3），529-532（1976）（俄语）
[14] Omanadze，R.Sh.：递归可枚举度的上半格。Logika代数，23（2），175-184，240-241（1984）（俄语）
[15] Omanadze，R.Sh.：关于递归可枚举度的上半格。《逻辑代数》，30（4）（1991），405-413（俄语）；代数与逻辑，30（4），265-271（1992）（英语翻译）·Zbl 0788.03060号
[16] Omanadze，R.Sh.：关于递归可枚举集的sQ-完备性。Mat.Zametki，52（3），102-107（1992）（俄语）；数学。注释，52（3-4），948-952（1993）（英文翻译）·Zbl 0787.03031号
[17] Omanadze，R.Sh.：递归可枚举集的复杂性属性和（{\rm sQ}）-完整性。Mat.Zametki，62（3），425-429（1997）（俄语）；数学。注释，62（3-4），356-359（1998）（英文翻译）·Zbl 0922.03059号
[18] Omanadze，RS，（r）-极大集和（Q_{1，N}）-可约性的一些性质，Arch。数学。逻辑，54，7-8，941-959（2015）·Zbl 1348.03037号 ·文件编号：10.1007/s00153-015-0451-x
[19] Omanadze，RS，准度的一些结构性质，Log。J.IGPL，第26、1、191-201页（2018年）·Zbl 1499.03033号 ·doi:10.1093/jigpal/jzx058
[20] 奥马纳泽，RS；奇塔亚，IO，（Q_1）-c.e.sets的度数，Arch。数学。逻辑，51，5-6，503-515（2012）·Zbl 1257.03065号 ·doi:10.1007/s00153-012-0278-7
[21] 奥马纳泽，RS；Sorbi，A.，《强枚举可约性》，Arch。数学。逻辑，45,7869-912（2006）·Zbl 1110.03028号 ·doi:10.1007/s00153-006-0012-4
[22] Rogers，H.，Jr.：递归函数和有效可计算性理论。麦格劳-希尔图书公司，纽约-多伦多，安大略省-伦敦（1967年）·Zbl 0183.01401号
[23] Shavrukov V.Yu：集合\（Q_｛1，N｝\）-可约为\（r \）-极大集合，集合\（Q_1\）-可约为hhsimple集合。Shavrukov V.Yu.的一封信。，致James Schmerl、Thomas McLaughlin、Roland Omanadze和Andrea Sorbi，2015年1月7日
[24] Soare、RI、递归可枚举集和度。可计算函数和可计算生成集的研究。《数理逻辑透视》（1987），柏林：施普林格出版社，柏林·Zbl 0623.03042号
[25] Yates，CE，关于指数集的度数。II、 变速器。美国数学。Soc，135，249-266（1969）·Zbl 0185.02201号 ·doi:10.1090/S0002-9947-1969-0241295-4
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。