×
Marat M.阿尔斯兰诺夫。;Iskander Sh.Kalimullin。

关于d-c.e.和n-c.e.学位结果的调查。 （英语） Zbl 1485.03150号

Day，Adam（编辑）等人，《可计算性和复杂性》。在罗德尼·G·唐尼60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。10010, 469-478 (2017).
摘要：本文是关于图灵上半格和n-c.e.集的枚举度的综述。讨论了这些半格的结构性质和一些模型理论性质。
关于整个系列，请参见[兹比尔1352.03004].

引用于1文件

MSC公司：

2008年3月28日 其他图灵度结构
03D25号 递归（可计算）可枚举集和度
PDF格式BibTeX公司 XML格式引用
\textit{M.M.Arslanov}和\textit{I.Sh.Kalimullin}，Lect。注释计算。科学。10010469-478（2017；Zbl 1485.03150）
全文： DOI程序

参考文献：

[1] Arslanov，M.M.：以下学位的结构性质\[{\mathbf 0}^{\prime}\].苏联。数学。多克。N.S.283、270–273（1985）
[2] Arslanov，M.M.：关于图灵度的上半格\[｛\mathbf 0｝^｛\prime｝\].俄语.数学。（Iz.VUZ）7、27–33（1988）·Zbl 0665.03034号
[3] Arslanov，M.M.，Cooper，S.B.，Li，A.：没有低的最大直流电度。数学。逻辑夸脱。46, 409–416 (2000) ·Zbl 0967.03037号 ·doi:10.1002/1521-3870（200008）46:3<409:：AID-MALQ409>3.0.CO；2-P型
[4] Arslanov，M.M.，Cooper，S.B.，Li，A.：没有低最大直流电度-勘误表。数学。逻辑夸脱。50, 628–636 (2004) ·doi:10.1002/malq.200410006
[5] Arslanov，M.M.，Kalimullin，I.S.，Sorbi，A.：密度导致\[\增量^0_2\]e度。架构（architecture）。数学。逻辑40，597–614（2001）·Zbl 1042.03033号 ·doi:10.1007/s001530100078
[6] Arslanov，M.M.，Kalimullin，I.S.，Lempp，S.：关于唐尼猜想。J.塞姆。逻辑75，401–441（2010）·Zbl 1192.03017号 ·doi:10.2178/jsl/1268917488
[7] Arslanov，M.M.，LaForte，G.，Slaman，T.A.：差异层次中的相对可数性。J.塞姆。逻辑63411-420（1998）·Zbl 0911.03021号 ·doi:10.2307/2586839
[8] Cooper，S.B.：不溶性程度。英国莱斯特莱斯特大学博士论文（1971年）
[9] Cooper，S.B.：低密度\[_2\]n-r.e.度。架构（architecture）。数学。逻辑31、19–24（1991）·兹伯利0745.03034 ·doi:10.1007/BF01370692
[10] Cooper，S.B.：n-r.e.度的分裂定理。程序。美国数学。Soc.115461-471（1992）·Zbl 0771.03013号
[11] Cooper，S.B.、Harrington，L.、Lachlan，A.H.、Lempp，S.、Soare，R.I.：\[d日\]-相对湿度不高。Ann.纯粹应用。逻辑55，125–151（1991）·Zbl 0756.03020号 ·doi:10.1016/0168-0072（91）90005-7
[12] Cooper，S.B.，Li，A.：非均匀性和广义袋分裂。数学学报。罪。，英语。序列号。18、327–334（2000年a）·Zbl 1021.03034号 ·doi:10.1007/s101140100150
[13] Cooper，S.B.，Li，A.：直流电度下的分裂和锥体避免。科学。中国（Ser.A）45，1135–1146（2002b）·兹比尔1105.03035
[14] Downey，R.G.：D.R.e.度和非戴蒙德定理。牛市。伦敦数学。Soc.21、43–50（1989）·Zbl 0628.03030号 ·doi:10.1112/blms/21.143
[15] Downey，R.G.，Shore，R.A.：分裂定理和跳跃算子。Ann.纯粹应用。逻辑94，45–52（1997）·Zbl 0924.03074号 ·doi:10.1016/S0168-0072（97）00066-3
[16] Downey，R.G.，Stob，M.：递归理论中的分裂定理。Ann.纯粹应用。逻辑65，1–106（1993）·Zbl 0792.03028号 ·doi:10.1016/0168-0072（93）90234-5
[17] Downey，R.G.，Yu，L.：没有最高的低直流电度。《圣母院J.形式逻辑》45（3），147-159（2004）·Zbl 1088.03040号 ·doi:10.1305/ndjfl/1099080209
[18] Ershov，Y.L.：关于集合的层次结构I.代数Logika 7（1），47–73（1968a）·Zbl 0216.00901号 ·doi:10.1007/BF02218750
[19] Ershov，Y.L.：关于集合II的层次结构。代数逻辑7（4），15-47（1968b）·兹比尔0216.00902 ·doi:10.1007/BF02218664
[20] Ershov，Y.L.：关于集合的层次结构III.代数逻辑9（1），34-51（1970）·Zbl 0233.02017 ·doi:10.1007/BF02219847
[21] Faizrakhmanov，M.K.：Ershov层次中低2可计算可枚举度和图灵跳跃的可分解性。俄罗斯数学。（Iz.VUZ）12、51–58（2010年）·Zbl 1225.03052号 ·doi:10.3103/S1066369X1012066
[22] Fang，C.，Wu，G.，Yamaleev，M.M.：关于Ishmukhametov的问题。架构（architecture）。数学。逻辑52、733–741（2013）·Zbl 1298.03101号 ·doi:10.1007/s00153-013-0340-0
[23] Ganchev，H.A.，Soskova，M.I.：通过计数度结构中的Kalimullin对进行定义。事务处理。美国数学。Soc.367、4873–4893（2015年）·Zbl 1375.03047号 ·doi:10.1090/S002-9947-2014-06157-6
[24] Gold，E.M.：限制递归。J.塞姆。逻辑30、28–48（1965）·Zbl 0203.01201号 ·doi:10.2307/2270580
[25] Ishmukhametov，S.N.：关于博士学位的前任。架构（architecture）。数学。逻辑38，373–386（1999）·Zbl 0942.03049号 ·doi:10.1007/s001530050132
[26] Ishmukhametov，S.T.：关于图灵度的相对可数性。架构（architecture）。数学。Logik Grundl公司。39, 145–154 (2000) ·Zbl 0951.03037号 ·doi:10.1007/s001530050139
[27] Kalimullin，I.S.：关于可枚举性的n-递归可枚举度半格的基本理论。俄罗斯数学。（Iz.VUZ）45（4），22–25（2001）·Zbl 1002.03034号
[28] Kalimullin，I.S.：n-c.e.枚举度的分裂性质。《符号逻辑杂志》67，537–546（2002）·Zbl 1008.03025号 ·doi:10.2178/jsl/1190150096
[29] Kalimullin，I.S.：枚举度中跳跃算子的可定义性。数学杂志。逻辑3（2），257–267（2003）·Zbl 1049.03030号 ·doi:10.1142/S0219061303000285
[30] Kalimullin，I.S.：（2p）-c.e和（2p+1）-c.e.枚举度之间的基本差异。《符号逻辑杂志》72，277–284（2007）·兹伯利1117.03047 ·doi:10.2178/jsl/1174668395
[31] Lachlan，A.H.：递归可枚举度对的下限。程序。伦敦数学。Soc.16537-569（1966年）·Zbl 0156.00907号 ·doi:10.1112/plms/s3-16.1.537
[32] Putnam，H.：试错谓词和Mostowski问题的解决方案。J.塞姆。逻辑30，49–57（1965）·Zbl 0193.30102号 ·doi:10.2307/2270581
[33] Rogers Jr.，H.：递归函数和有效可计算性理论。麦格劳·希尔，纽约（1967年）·Zbl 0183.01401号
[34] Welch，L.：递归可枚举度族的层次结构和建立最小对的定理。博士论文（伊利诺伊大学，乌尔班纳分校，1980）（1980）
[35] Wu，G.，Yamaleev，M.M.：隔离：动机和应用。Uchenue Zapiski Kazanskogo大学154（2），204-217（2012）
[36] Yamaleev，M.M.：2个可计算可数度的分裂避免了上锥。俄罗斯数学。（Iz.VUZ）6、76–80（2009年）·Zbl 1185.03069号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。