诺姆·格林伯格;约瑟夫·米勒。;安德烈·涅斯 根据随机点的投影进行计算。 (英语) Zbl 1467.03013号 数学杂志。日志。 20,第1号,文章ID 1950014,41 p.(2020). 审核人:鲁珀特·霍尔兹尔(纽比堡) MSC公司:03天32分 68问题30 03D28号 PDF格式BibTeX公司 XML格式引用 \textit{N.Greenberg}等人,J.Math。日志。20,第1号,文章ID 1950014,41页(2020;Zbl 1467.03013) 全文: DOI程序 arXiv公司
鲁伯特·Hölzl;沃尔夫冈·默克尔;约瑟夫·米勒;弗兰克·斯蒂芬;于,梁 Chaitin’s(\Omega)作为连续函数。 (英语) Zbl 1471.03068号 J.塞姆。日志。 85,第1期,486-510(2020年). 审核人:罗曼·穆拉夫斯基(波兹南) MSC公司:03天32分 68问题30 03D78号 PDF格式BibTeX公司 XML格式引用 \textit{R.Hölzl}等人,J.Symb。日志。85,第1号,486--510(2020;Zbl 1471.03068) 全文: DOI程序
安德烈·涅斯;保罗·沙弗 随机性概念和逆向数学。 (英语) Zbl 1444.03013号 J.塞姆。日志。 85,编号1,271-299(2020). 审核人:杰弗里·赫斯特(布恩) MSC公司:03B30型 03天32分 35楼03号 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{A.Nies}和\textit{P.Shafer},J.Symb。日志。85,第1271-299号(2020年;兹bl 1444.03013) 全文: DOI程序 arXiv公司 链接
诺姆·格林伯格;丹·特雷茨基 强大的跳跃追踪能力。 (英语) Zbl 1522.03157号 牛市。符号。日志。 24,第2期,147-164(2018).MSC公司:03D25号 03D28号 03天32分 PDF格式BibTeX公司 XML格式引用 \textit{N.Greenberg}和\textit{D.Turetsky},公牛。符号。日志。24,编号2147-164(2018;兹bl 1522.03157) 全文: DOI程序
保尔·埃利奥特·奥里亚克天使;贝诺伊·莫宁 高钾小瓶的另一个特征。 (英语) Zbl 1441.03029号 Larsen,Kim G.(编辑)等人,第42届计算机科学数学基础国际研讨会,2017年8月21日至25日,丹麦奥尔堡,MFCS 2017。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。83,第34条,第13页(2017年)。MSC公司:03天32分 03E15年 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{P.-E.Angles d‘Auriac}和\textit{B.Monin},LIPIcs——莱布尼茨国际期刊。通知。83,第34条,第13页(2017年;Zbl 1441.03029) 全文: DOI程序
安德烈·涅斯 低级、随机和可计算分析。 (英语) Zbl 1485.03166号 Day,Adam(编辑)等人,《可计算性和复杂性》。在罗德尼·G·唐尼60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。10010, 738-754 (2017).MSC公司:03天32分 03D78号 PDF格式BibTeX公司 XML格式引用 \textit{A.Nies},莱克特。注释计算。科学。10010、738--754(2017;Zbl 1485.03166) 全文: DOI程序 arXiv公司
宫崎骏;安德烈·涅斯;张静 使用分析中的几乎所有定理来研究随机性。 (英语) Zbl 1401.03079号 牛市。符号。日志。 22,第3号,305-331(2016).MSC公司:03天32分 03天80 37A25型 37A30型 60G44型 PDF格式BibTeX公司 XML格式引用 \textit{K.Miyabe}等人,公牛。符号。日志。22,编号3,305-331(2016;兹bl 1401.03079) 全文: DOI程序 arXiv公司
丹尼斯·赫施费尔特(Denis R.Hirschfeldt)。;乔库什,卡尔·G·军。;罗格斯·库珀;Paul E.舒普。 粗可约性和算法随机性。 (英语) 兹比尔1403.03069 J.塞姆。日志。 81,第3期,1028-1046(2016).MSC公司:03日30分 03D25号 03D28号 03天32分 PDF格式BibTeX公司 XML格式引用 \textit{D.R.Hirschfeldt}等人,J.Symb。日志。81,第3号,1028--1046(2016;Zbl 1403.03069) 全文: DOI程序 arXiv公司
胡萝卜、金马;安德烈·涅斯 Lightface \(\varPi^0_3\)-有效Wadge约化下密度集的完备性。 (英语) Zbl 1476.03054号 贝克曼,阿诺德(编辑)等人,《追求宇宙》。第十二届欧洲可计算性会议,2016年6月27日至7月1日,法国巴黎,CiE 2016。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9709, 234-239 (2016).MSC公司:2015年3月1日 03E15年 PDF格式BibTeX公司 XML格式引用 \textit{G.胡萝卜}和\textit{A.Nies},莱克特。注释计算。科学。9709234--239(2016;Zbl 1476.03054) 全文: DOI程序
穆什菲克·汗 勒贝格密度和(Pi_1^0)类。 (英语) Zbl 1432.03080号 J.塞姆。日志。 81,第1期,80-95(2016).MSC公司:03天32分 03D78号 PDF格式BibTeX公司 XML格式引用 \textit{M.Khan},J.Symb。日志。81,第1号,80--95(2016;Zbl 1432.03080) 全文: DOI程序
Laurent Bienvenu;罗德·唐尼;安德烈·涅斯;沃尔夫冈·默克尔 Solovay函数及其在算法随机性中的应用。 (英语) Zbl 1335.03038号 J.计算。系统。科学。 81,第8期,1575-1591(2015). 审核人:路德维希·斯泰格(哈雷/萨勒) MSC公司:03天32分 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{L.Bienvenu}等人,《计算杂志》。系统。科学。81,第8号,1575--1591(2015;Zbl 1335.03038) 全文: DOI程序 arXiv公司
钻石,大卫;诺姆·格林伯格;丹尼尔·杜雷茨基(Daniel D.Turetsky)。 具有强大的跳跃追踪能力的固有可枚举性。 (英语) Zbl 1375.03045号 事务处理。美国数学。Soc公司。 367,第3期,1771-1796(2015).MSC公司:03D25号 03D28号 03天32分 PDF格式BibTeX公司 XML格式引用 \textit{D.Diamondstone}等人,翻译。美国数学。Soc.367,No.3,1771--1796(2015;Zbl 1375.03045) 全文: DOI程序 arXiv公司