阿诺·保利；威廉·福凯；乔治·戴维 Weihrauch-分层计算的完备性。 （英语） Zbl 1459.03069号 日志。方法计算。科学。 14，第2号，第11号论文，第15页（2018）. 摘要：我们引入了分层可计算性的Weihrauch-complete概念，并提供了几个与复振荡、重对数定律和Birkhoff定理相关的自然示例。我们还考虑了命中时间操作符，它们与前面的示例具有相同的Weihrauch程度，但无法分层计算。 引用于7文件 MSC公司： 03D78号 实数计算，可计算分析 03天32分 算法随机性和维数 03层60 构造性和递归分析 关键词：可计算分析；Weihrauch可还原性；随机性；分层可计算性 PDF格式BibTeX公司 XML格式引用 \textit{A.Pauly}等人，Log。方法计算。科学。14，第2号，第11号论文，第15页（2018；Zbl 1459.03069） 全文： 内政部 arXiv公司 参考文献： [1] E.Asarin和A.Pokrovskii。kolmogorov复杂性在控制系统动力学分析中的应用。Avtomatika i Telemekhanika，1986年。自动化和远程控制英语翻译·Zbl 0605.93048号 [2] Laurent Bienvenu、Adam R.Day、Mathieu Hoyrup、Ilya Mezhirov和Alexander Shen。随机点Martin-L¨的Birkhoff遍历定理的构造性版本。《信息与计算》，2012年第210:21-30页。doi:10.1016/j.ic.2011.10.006·Zbl 1257.03067号 [3] 瓦斯科·布拉特卡（Vasco Brattka）、马修·德·布莱希特（Matthew de Brecht）和阿诺·保利（Arno Pauly）。封闭选择和统一的低基定理。《纯粹逻辑与应用逻辑年鉴》，163（8）：968-1008，2012年。doi:10.1016/j.apal.2011.12.020·Zbl 1251.03082号 [4] 瓦斯科·布拉特卡和吉多·格拉迪。可计算分析中的有效选择和有界性原则。《符号逻辑公报》，17:73-1172011年。doi:10.2178/bsl/1294186663·Zbl 1226.03062号 [5] 瓦斯科·布拉特卡和吉多·格拉迪。Weihrauch学位、全能原理和弱可计算性。《符号逻辑杂志》，76:143-1762011年·Zbl 1222.03071号 [6] Vasco Brattka、Guido Gherardi和Arno Pauly。可计算分析中的Weihrauch复杂性。arXiv 1707.032022017年·Zbl 1485.03241号 [7] Vasco Brattka和Arno Pauly。关于Weihrauch度的代数结构。《计算机科学中的逻辑方法》，2018年。出现。网址：http://arxiv.org/abs/1604.08348。 ·Zbl 1454.03053号 [8] 杰克·戴杰（Jack Jie Dai）。随机符号问题和kolmogorov复杂性的可计算版本。统计与概率快报，67（1）：27-312004。doi:10.1016/j.spl.2003.12.002·Zbl 1130.68065号 [9] 乔治·戴维。Borel-Cantelli引理、概率定律和Kolmogorov复杂性。概率年鉴，29（4）：1426-14342001·Zbl 1017.60002号 [10] 乔治·戴维和威廉·L·福奇。关于布朗运动构造的可计算性。计算机科学中的数学结构，23:1257-12652013年12月。doi:10.1017/S096012951300157·Zbl 1286.68249号 [11] 威廉·福奇。布朗运动的描述性复杂性。《数学进展》，155:317-3432000年·Zbl 0971.68077号 [12] 威廉·福奇。一般布朗运动的动力学：递归方面。理论计算机科学，394（3）：175-1862008。从G模型到爱因斯坦：逻辑与物理之间的可计算性。数字对象标识：http://dx.doi.org/10.1016/j.tcs.2007.12.010。 ·Zbl 1146.68038号 [13] 斯特凡诺·加拉托洛（Stefano Galatolo）、马修·霍洛普（Mathieu Hoyrup）和克里斯托巴尔·罗杰斯（Cristobal R´ojas）。一个构造性的Borel-Cantelli引理。构造具有所需统计特性的轨道。理论计算机科学，410（21）：2207-22222009。doi:10.1016/j.tcs.2009.02.010·Zbl 1171.60002号 [14] 彼得·赫特林。Funktionen在有效分析中的不确定性。博士论文，Fernuniversit–at，Gesamthochschule in Hagen，Oktober 1996。 [15] 小野幸郎和阿诺·保利。Weihrauch可约度结构。《计算机科学中的逻辑方法》，9（2），2013年。doi:10.2168/LMCS-9（2:2）2013年·Zbl 1271.03057号 [16] 鲁珀特·霍尔兹和保罗·谢弗。普遍性、最优化和随机性缺陷。《纯粹逻辑与应用逻辑年鉴》，166（10）：1049-10692015。doi:10.1016/j.apal.2015.05.006·Zbl 1386.03047号 [17] 马修·霍洛普和克里斯特·奥巴尔·罗哈斯。马丁-l¨随机性在有效概率理论中的应用。《数学理论与计算实践》编辑Klaus Ambos-Spies、Benedikt L¨lowe和Wolfgang Merkle，计算机科学讲义第5635卷，第260-269页。施普林格，2009年。doi:10.1007/978-3642-03073-4_27·兹比尔1268.03055 [18] 马修·霍洛普和克里斯特·奥巴尔·罗哈斯。有效概率论在随机性的马丁-L中的应用，第549-561页。施普林格，2009年。doi:10.1007/978-3642-02927-1_46·Zbl 1248.03066号 [19] 马修·霍洛普和克里斯特·奥巴尔·罗哈斯。度量空间上概率测度的可计算性和Martin-L¨随机性。信息与计算，2072009年·Zbl 1167.68023号 [20] 随机点的Joseph S.Miller Johanna N.Y.Franklin、Noam Greenberg和Keng Meng Ng.Martin-L满足有效闭集的Birkhoff遍历定理。程序。阿默尔。数学。Soc.，140:3623-36282012年。doi:10.1090/S0002-9939-2012-11179-7·Zbl 1298.03103号 [21] 安东尼·库塞拉。Measure，∏01-classes，and complete extensions of PA。数学课堂讲稿，11411985。 [22] 根据Martin-L¨of。随机序列的定义。信息与控制，9:602-6191966·Zbl 0244.62008号 [23] 宫部贤治。最佳性和普遍性之间的区别。IGPL逻辑杂志，20（1）：222-2342012。doi:10.1093/jigpal/jzr032·兹比尔1258.03052 [24] 乌维·米拉茨。Vergleich unsteiger Funktitonen在der Analysis中。Diplorabeit，Fachbereich Informatik，FernUniversit–Hagen，1992年。 [25] 乌维·米拉茨。Vergleich unsteiger Funktitonen：“全能科学原则”和Vollst–在C-Hierarchie中大放异彩。博士论文，Fernuniversit–at，Gesamthochschule in Hagen，Mai 2006。 [26] 艾克·诺依曼和阿诺·保利。代数计算模型的拓扑视图。《复杂性杂志》，2018年第44期。doi:10.1016/j.jco.2017.08.003·Zbl 1522.03180号 [27] 安德烈·涅斯。可计算性和随机性。牛津逻辑指南。牛津大学出版社，2009年·Zbl 1169.03034号 [28] 阿诺·保利。Methoden zum Vergleich der Unstetigkeit von Funktitionen公司。硕士论文，弗农大学哈根分校，2007年。 [29] 阿诺·保利。纳什均衡的发现有多难以捉摸？《通用计算机科学杂志》，16（18）：2686-27102010。doi:10.3217/jucs-016-18-2686·Zbl 1216.91004号 [30] 阿诺·保利。关于连续可约性诱导的（半）格。《数理逻辑季刊》，56（5）：488-5022010。doi:10.1002/malq.200910104·Zbl 1200.03028号 [31] 阿诺·保利和马修·德·布莱希特。非确定性计算和Jayne Rogers定理。《理论计算机科学电子论文集》，1432014年。DCM 2012。doi:10.4204/EPTCS。143.8. ·Zbl 1395.03021号 [32] 保罗·波吉特。算法随机傅里叶级数和布朗运动。arXiv 1612.09492 v1，2016年·Zbl 1453.03043号 [33] 拜伦·施穆兰。随机调和级数。《美国数学月刊》，110:407-4162003·Zbl 1187.60011号 [34] 马蒂亚斯·施罗德。概率测度的可接受表示。《数理逻辑季刊》，53（4）：431-4452007·Zbl 1124.03019号 [35] 弗拉基米尔·沃夫克。随机Kolmogorov或混沌序列的重对数定律。概率论及其应用，32:413-4251987·Zbl 0645.60006号 [36] V.V.V'yugin（维尤金）。单个随机序列的概率有效收敛性和遍历定理。概率论及其应用，42（1）：39-501998。doi:10.1137/S0040585X97975915·Zbl 0917.60039号 [37] 克劳斯·维赫劳赫（Klaus Weihrauch）。TTE对全科学原则的三个层次的解释。Informatik Berichte 130，FernUniversit–Hagen，Hagen出版社，1992年。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。