戴，亚当·R。;约瑟夫·米勒。 随机拔罐。 （英语） Zbl 1432.03079号 程序。美国数学。Soc公司。 142，第8期，2871-2879（2014）. 摘要：我们证明了一个集是（K\）-平凡的当且仅当它不是弱ML-可压缩的。进一步，我们证明了零跳以下的集是（K）-平凡的当且仅当它不可ML压缩。这些结果解决了库切拉的一个问题，库切拉引入了两个可杯性概念。 引用于6文件 MSC公司： 03天32分 算法随机性和维数 68问题30 算法信息理论（Kolmogorov复杂性等） 03日30分 可计算性和递归理论中的其他度和可约性 PDF格式BibTeX公司 XML格式引用 \textit{A.R.Day}和\textit{J.S.Miller}，Proc。美国数学。Soc.142，No.8，2871--2879（2014；Zbl 1432.03079） 全文： 内政部 arXiv公司 参考文献： [1] Laurent Bienvenu、Rupert Hölzl、Joseph S.Miller和AndréNies，可计算函数的Denjoy替代方案，第29届计算机科学理论方面国际研讨会，LIPIcs。莱布尼茨国际程序。通知。，第14卷，达格斯图尔宫。莱布尼兹·赞特。通知。，Wadern，2012年，第543-554页·兹比尔1254.03081 [2] Rodney G.Downey和Denis R.Hirschfeldt，算法随机性和复杂性，可计算性理论和应用，斯普林格，纽约，2010年·Zbl 1221.68005号 [3] 罗德·唐尼（Rod Downey）、丹尼斯·赫施费尔特（Denis R.Hirschfeldt）、约瑟夫·米勒（Joseph S.Miller）和安德烈·涅斯（AndréNies），《比较柴丁的停顿概率》（Relativatizing Chaitin’S haiting probability）。日志。5（2005），第2期，167–192·Zbl 1093.03025号 ·doi:10.1142/S0219061305000468 [4] Johanna N.Y.Franklin和Keng Meng Ng，差异随机性，Proc。阿默尔。数学。Soc.139（2011），第1号，345–360·Zbl 1214.03029号 [5] Denis R.Hirschfeldt、AndréNies和Frank Stephan，《使用随机集作为预言》，J.Lond。数学。Soc.（2）75（2007），第3期，610-622·Zbl 1128.03036号 ·doi:10.1112/jlms/jdm041 [6] 比约恩·克约斯·汉森、约瑟夫·米勒和里德·所罗门，《低级概念、衡量和支配》，J.Lond。数学。Soc.（2）85（2012），第3期，869–888·Zbl 1262.03068号 ·doi:10.1112/jlms/jdr072 [7] Antonín Kučera，Measure，\Pi\（^{0}\）\（_{1}\）-类和\？\？的完全扩展？，递归理论周（Oberwolfach，1984）数学课堂笔记。，第1141卷，施普林格，柏林，1985年，第245-259页·Zbl 0622.03031号 ·doi:10.1007/BFb0076224 [8] 安东宁·库切拉，《关于0'在递归理论中的作用》，《86年逻辑学术讨论会》（赫尔，1986），《逻辑发现研究》。数学。，第124卷，荷兰北部，阿姆斯特丹，1988年，第133-141页·Zbl 0645.03041号 ·doi:10.1016/S0049-237X（09）70655-X [9] 安东·库切拉（Antonín Kučera）和塞巴斯蒂安·特维恩（Sebastian A.Terwijn），随机集类的Lowness，《符号逻辑杂志》（J.Symbolic Logic）64（1999），第4期，1396–1402·Zbl 0954.68080号 ·doi:10.2307/2586785 [10] Joseph S.Miller和AndréNies，《随机性和可计算性：开放性问题》，公牛出版社。符号逻辑12（2006），第3期，390-410·Zbl 1169.03033号 [11] AndréNies，Lowness属性和随机性，高级数学。197（2005），第1期，274–305·兹比尔1141.03017 ·doi:10.1016/j.aim.2004.10.006 [12] AndréNies，《非剪切性和随机性》，Proc。阿默尔。数学。Soc.135（2007），第3号，第837–844页·兹比尔1106.03040 [13] AndréNies，《可计算性和随机性》，《牛津逻辑指南》，第51卷，牛津大学出版社，牛津，2009年·Zbl 1169.03034号 [14] 大卫·波斯纳（David B.Posner）和罗伯特·罗宾逊（Robert W.Robinson），《符号逻辑杂志》（J.Symbolic Logic）46（1981），第4期，第714-722页·Zbl 0517.03014号 ·doi:10.2307/2273221 [15] 杰拉尔德·萨克斯（Gerald E.Sacks），《无法解决的学位》，普林斯顿大学出版社，新泽西州普林斯顿，1963年·Zbl 0143.25302号 [16] 史蒂芬·G·辛普森，《几乎无处不在的统治和超高》，MLQ数学。日志。Q.53（2007），第4-5、462–482号·Zbl 1123.03040号 ·doi:10.1002/malq.200710012 [17] 西奥多·A·斯拉曼和约翰·R·斯蒂尔，《图灵度的互补》，《符号逻辑杂志》54（1989），第1期，第160–176页·Zbl 0691.03024号 ·doi:10.2307/2275022 [18] 多梅尼科·赞比拉。关于具有简单初始段的序列，《ML-1990-05技术报告》，阿姆斯特丹大学逻辑、语言和计算研究所（ILLC），1990年。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。