Higuchi，K。;T·基哈拉。 Muchnik度数内。二： 可数连续函数的算术层次所诱导的度结构。 （英语） Zbl 1315.03072号 Ann.纯粹应用。逻辑 165，第6期，1201-1241（2014）. 总结：众所周知，在康托空间的任何非平凡（Pi_1^0）子集的Muchnik度内存在无穷多个Medvedev度。我们揭示了这些Muchnik度中与可学习性和分段可计算性相关的精细结构。对于康托空间的非空（Pi_1^0）子集，我们证明了有限-（Delta_2^0）-分片度包含无限多个有限-（（Pi_1 ^0）_2分片度的存在性，以及有限-（Pi_2 ^0）_2-分片次包含无限多有限-_2）表示两个（Pi_n^0）集的差异，而这三个“有限-（Gamma）-分段”度结构中的最大度是一致的。此外，对于康托空间的非空（Pi_1^0）子集，我们还证明了每个非零有限-（Pi_1 ^0）_2-分段度包括无穷多个梅德韦杰夫（即一个分段）度，每个非零可数-（Delta_2 ^0）-分段度包含无穷多个有限-分段度，每个非线性有限-（（Pi_2^0）_2）-可数-\（\Delta_2^0）-分段度包括无穷多个可数-_（\Delta _2^0。实际上，我们证明了康托空间非空（Pi_1^0）子集的任何非零梅德韦杰夫度和非零可数-（Delta^2_0）-分段度都具有强的反支撑性质。最后，我们通过证明有限（Gamma）分段结构中没有一个是Brouwerian结构，从而获得了梅德韦杰夫（Muchnik）度结构和Baire空间所有子集的有限（Gamma）分段度结构之间的一个基本区别，其中（Gamma\）是上述Wadge类中的任何一个。第一部分见[同上165，第5号，1058–1114（2014；Zbl 1315.03071号)]. 引用于8文件 MSC公司： 03日30分 可计算性和递归理论中的其他度和可约性 03E15年 描述性集合论 第26A21页 实际函数的分类；集合与函数的Baire分类 68问题32 计算学习理论 关键词：\（\Pi_1^0）类;梅德韦杰夫学位;Borel可测量功能;可数连续性 引文：Zbl 1315.03071号 PDF格式BibTeX公司 XML格式引用 \textit{K.Higuchi}和\textit{T.Kihara}，Ann.Pure Appl。逻辑165，No.6，1201--1241（2014；Zbl 1315.03072） 全文： 内政部 arXiv公司 参考文献： [1] Alfeld，C.P.，类的Medvedev格中的非分枝度，符号逻辑，72，1，81-97（2007）·Zbl 1122.03043号 [2] 宾斯，S.，梅德韦杰夫和穆奇尼克格的分裂定理，数学。日志。Q.，49，4，327-335（2003）·Zbl 1022.03021号 [3] 宾斯，S。；Simpson，S.G.，嵌入到梅德韦杰夫和穆奇尼克（Pi_1^0）类格中，Arch。数学。逻辑，43，3，399-414（2004）·Zbl 1058.03041号 [4] 布鲁姆，L。；Blum，M.，《朝向归纳推理的数学理论》，《信息控制》，第28、2、125-155页（1975年）·Zbl 0375.02028号 [5] Brattka，V.，函数的有效Borel可测性和可约性，数学。日志。Q.，51，1，19-44（2005）·Zbl 1059.03074号 [6] 布拉特卡，V。；德布莱希特，M。；Pauly，A.，封闭选择和一致低基定理，Ann.Pure Appl。逻辑，163，88986-1008（2012）·Zbl 1251.03082号 [7] 布拉特卡，V。；Gherardi，G.，可计算分析中的有效选择和有界性原则，布尔。符号逻辑，17，1，73-117（2011）·Zbl 1226.03062号 [8] 布拉特卡，V。；Gherardi，G.，Weihrauch degrees，omniscience principles and weak computability，J.符号逻辑，76，1，143-176（2011）·Zbl 1222.03071号 [9] 布拉特卡，V。；格拉迪，G。；Marcone，A.，Bolzano-Weierstrass定理是弱König引理Ann的跳跃。逻辑，163，6，623-655（2012）·Zbl 1245.03097号 [11] 凯斯·J。；Ngo-Manguelle，S.，《Popperian机器对归纳推理的改进》（1979），纽约州立大学布法罗分校，计算机科学系，技术代表152·Zbl 0819.68052号 [12] Cenzer，D。；Kihara，T。；韦伯，R。；Wu，G.，封闭集的免疫和非拔罐，数学。J.，277-94（2009）·Zbl 1208.03047号 [13] Cenzer，医学博士。；Hinman，P.G.，（Pi_1^0）类梅德韦杰夫晶格的密度，Arch。数学。逻辑，42，6，583-600（2003）·Zbl 1037.03040号 [14] Cenzer，D.A。；Hinman，P.G.，广义r.e.分离类的难度，Arch。数学。逻辑，46，7-8，629-647（2008）·Zbl 1151.03020号 [15] Cenzer，D.A。；Remmel，J.B.，《（Pi_1^0）数学课堂》，（递归数学手册，第2卷）。递归数学手册，第2卷，《发现逻辑研究》。数学。（1998），爱思唯尔），623-821·Zbl 0941.03044号 [16] 科尔，J.A。；Kihara，T.，“有效关闭梅德韦杰夫学位的理论是可以决定的”，Arch。数学。逻辑，49，1，1-16（2010）·Zbl 1184.03038号 [17] 科尔，J.A。；辛普森，S.G.，《群体问题与超算术》，J.数学。日志。，7, 2, 125-143 (2007) ·兹比尔1150.03013 [18] （Cooper，S.B.；Dawar，A.；Löwe，B.，《世界是如何计算的——图灵百年大会和第八届欧洲可计算性会议》，《2012年国际经济会议论文集》。《世界如何计算——图灵一百周年会议和第八届欧洲可计算性会议》，《2012年CiE会议记录》，英国剑桥，6月18-23日。《世界如何计算——图灵百年大会和第八届欧洲可计算性会议》，《2012年CiE会议记录》。《世界如何计算——图灵一百周年会议和第八届欧洲可计算性会议》，《2012年欧洲计算机会议论文集》，英国剑桥，6月18日至23日，《计算机科学讲义》，第7318卷（2012），斯普林格出版社）·Zbl 1243.68017号 [20] 唐尼，R.G。；格林伯格，N。；J.、C.G。；Milans，K.G.，《带有少量标记路径的二叉子树》，Combinatorica，31，3，285-303（2011）·Zbl 1265.05593号 [21] 唐尼，R.G。；Hirschfeldt，D.R.，《算法随机性和复杂性》。可计算性理论与应用（2010），Springer，883 pp·Zbl 1221.68005号 [22] Duparc，J.，Wadge层次结构和Veblen层次结构第I部分：有限秩的Borel集，J.符号逻辑，66，1，56-86（2001）·Zbl 0979.03039号 [23] （Ershov，Y.L.；Goncharov，S.S.；Nerode，A.；Remmel，J.B.；Marek，V.W.，《递归数学手册》，第2卷：递归代数、分析和组合数学，《递归代数手册》，卷2：递归代数，分析和组合学，《逻辑和数学基础研究》（1998），北荷兰），798页·Zbl 0905.03001号 [24] Gold，E.M.，《限制递归》，J.符号逻辑，30，1，28-48（1965）·兹比尔0203.01201 [25] 格林伯格，N。；Miller，J.S.，《对角非递归函数和有效Hausdorff维数》，Bull。伦敦。数学。Soc.，43，4，636-654（2011年）·Zbl 1225.03055号 [26] Hemmerling，A.，由第一个值运算符Theor定义的函数类的层次结构。通知。申请。，42, 2, 253-270 (2008) ·Zbl 1146.03032号 [27] Hertling，P.，连续操作的拓扑复杂性，J.complexity，12，4，315-338（1996）·Zbl 0862.68060号 [28] Higuchi，K.，有效地解决了质量问题和直觉主义，Ann.Pure Appl。逻辑，163，6，693-697（2012）·Zbl 1241.03052号 [30] Hinman，P.G.，《Mucnik和Medvedev学位调查》，公牛出版社。符号逻辑，18，2，161-229（2012）·Zbl 1248.03063号 [31] Jain，S。；Osherson，D.N。；罗耶，J.S。；Sharma，A.，《学习的系统：学习理论导论》（1999），麻省理工学院出版社，329页 [32] Jayne，J.E。；罗杰斯，C.A.，《一级Borel函数和同构》，J.Math。Pures应用。，6177-205年（1982年）·Zbl 0514.54026号 [33] Jockusch，C.G.，《没有固定点的函数度数》（《逻辑、方法论和科学哲学》，第八卷，《逻辑、科学方法论和哲学》，莫斯科，1987年）。逻辑、方法论和科学哲学，VIII。《逻辑、方法论和科学哲学》，第八卷，莫斯科，1987年，《逻辑发现研究》。数学。（1989），北荷兰：北荷兰阿姆斯特丹），191-201·Zbl 0694.03027号 [34] 乔库什，C.G。；Soare，R.I.，（Pi_1^0）类成员的学位，太平洋数学杂志。，40, 3, 605-616 (1972) ·Zbl 0209.02201号 [35] 乔库什，C.G。；Soare，R.I.，（Pi_1^0）理论的类和度，Trans。阿默尔。数学。《社会学杂志》，173，33-56（1972）·Zbl 0262.02041号 [36] 卡切纳，M。；Motto Ros，L。；Semmes，B.，关于“Jayne和Rogers定理的新证明”的一些观察，《真实分析》。Exchange，38，121-132（2012/2013）·Zbl 1272.03149号 [39] 勒鲁，S。；Pauly，A.，有限集和凸集的闭选择，（Bonizzoni，P.；Brattka，V.；Löwe，B.，CiE..CiE.，计算机科学讲义，第7921卷（2013），Springer），294-305·Zbl 1433.03151号 [40] 刘易斯，A.E.M。；肖尔，R.A。；Sorbi，A.，梅德韦杰夫晶格的拓扑方面，Arch。数学。逻辑，50，3-4，319-340（2011）·Zbl 1221.03037号 [41] Małek，A.，《贝尔一星函数分类》，《真实分析》。交易所，32，205-212（2006）·Zbl 1177.26006号 [42] 梅德韦杰夫，Y.T.，《群众问题的难度》，多克。阿卡德。Nauk SSSR，104，501-504（1955），（俄语）·Zbl 0065.00301号 [43] Moschovakis，Y.N.，描述性集合理论，数学调查和专著（2009），美国数学学会，502页·Zbl 1172.03026号 [44] Motto Ros，L.，分段可定义函数类的博弈表示，数学。日志。Q.，57，1，95-112（2011）·兹比尔1215.03060 [45] Motto Ros，L.，《关于有限能级和（ω）-可分解Borel函数的结构》，《符号逻辑杂志》，78，4，1257-1287（2013）·Zbl 1323.03065号 [46] Motto Ros，L。；Semmes，B.，Jayne和Rogers定理的新证明，《真实分析》。交易所，35，1195-203（2010）·Zbl 1217.03032号 [47] Muchnik，A.A.，关于算法问题的强可约性和弱可约性，Sibirsk。材料Zh。，41328-1341（1963），（俄语）·Zbl 0156.01603号 [48] Mylatz，U.，Vergleich unsteiger funktitonen：“全科学原则”和c-hierage中的vollstandiggeit（2006），Fernuniversität，Gesamthochschule in Hagen，博士论文 [49] Nies，A.，《可计算性和随机性》，牛津逻辑指南（2009），牛津大学出版社，433页·Zbl 1169.03034号 [50] Pauly，A.，表示空间理论的新介绍，预印本 [51] Pauly，A。；de Brecht，M.，《非确定性计算和Jayne Rogers定理》，（理论计算机科学电子论文集（2012）），出版中·Zbl 1464.03042号 [52] Pawlikowski，J。；Sabok，M.，在Baire层次的有限层次上分解Borel函数和结构，Ann.Pure Appl。逻辑，163、12、1748-1764（2012）·Zbl 1259.03061号 [53] 罗杰斯，H.，《递归函数和有效可计算性理论》（1987），麻省理工出版社，504页 [54] Sabok，M.，（σ）-连续性和相关力，Arch。数学。逻辑，48，5444-464（2009）·Zbl 1169.03040号 [55] Semmes，B.，《Borel函数的游戏》（2009），阿姆斯特丹大学博士论文 [56] Shafer，P.，《梅德韦杰夫和穆奇尼克学位的真算术编码》，《符号逻辑杂志》，76，1，267-288（2011）·Zbl 1222.03049号 [57] 辛普森，S.G.，《质量问题和随机性》，布尔。符号逻辑，11，1，1-27（2005）·Zbl 1090.03015号 [58] Simpson，S.G.，递归可枚举图灵度的扩展，J.Lond。数学。Soc.，75，287-297（2007）·Zbl 1119.03037号 [59] Simpson，S.G.，《关于不可解程度的一些基本问题》，（无限的计算前景第二部分，演讲稿。无限的计算展望第二部分。演讲稿，Lect.Notes Ser.Inst.Math.Sci.Natl.Univ.Singap.，第15卷（2007年），《世界科学》。出版物：世界科学。出版物。新泽西州哈肯萨克），313-332·兹比尔1157.03020 [60] Simpson，S.G.，《二阶算术子系统》，《逻辑透视》（2009），剑桥大学出版社，464页·Zbl 1181.03001号 [61] Simpson，S.G.，与有效闭集相关的质量问题，东北数学。J.，63，4，489-517（2011）·Zbl 1246.03064号 [63] Soare，R.I.，《递归可枚举集和度》，《数理逻辑中的透视》（1987），施普林格：施普林格-海德堡出版社，xVIII+437页·Zbl 0623.03042号 [64] Solecki，S.，《分解Borel集和函数以及Baire类1函数的结构》，J.Amer。数学。《社会学杂志》，第11期，第521-550页（1998年）·Zbl 0899.03034号 [65] Weihrauch，K.，《可计算分析：导论》，《理论计算机科学文本》（2000年），施普林格出版社，第285页·Zbl 0956.68056号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。