刘璐 分区乘积的编码能力。 (英语) Zbl 07720434号 以色列。数学杂志。 255,第2号,645-683(2023).MSC公司:03年月日 03Bxx号 03Fxx公司 PDF格式BibTeX公司 XML格式引用 \textit{L.Liu},以色列。数学杂志。255,编号2,645--683(2023;Zbl 07720434) 全文: 内政部 arXiv公司
诺姆·格林伯格;约瑟夫·米勒。;安德烈·涅斯 接近PA完整性的殿下属性。 (英语) Zbl 1485.03164号 以色列。数学杂志。 244,第1期,419-465(2021). 审核人:梁羽(南京) MSC公司:03天32分 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{N.Greenberg}等人,以色列。数学杂志。244,编号1,419--465(2021;Zbl 1485.03164) 全文: 内政部 arXiv公司
贝诺伊·莫宁;安德烈·涅斯 Muchnik等级和基本特征。 (英语) Zbl 1485.03160号 J.塞姆。日志。 86,编号2471-498(2021). 审核人:Jamalbek Tussupov(阿斯塔纳) MSC公司:03日30分 03D28号 03E17年 03天80 PDF格式BibTeX公司 XML格式引用 \textit{B.Monin}和\textit{A.Nies},J.Symb。日志。86,编号2,471--498(2021;Zbl 1485.03160) 全文: 内政部 arXiv公司
达米尔·扎法罗夫。;卢多维奇·佩蒂 在逆向数学中给树着色。 (英语) Zbl 1423.03048号 高级数学。 318, 497-514 (2017).MSC公司:03B30型 03天80 35楼03号 05元55分 10年5月 PDF格式BibTeX公司 XML格式引用 \textit{D.Dzhafarov}和\textit{L.Patey},高级数学。318497-514(2017;Zbl 1423.03048) 全文: 内政部 arXiv公司
阿基里斯·A·贝罗斯。;穆什菲克·汗;比约恩Kjos-Hanssen 有效的双重免疫性和随机性。 (英语) Zbl 1485.03163号 Day,Adam(编辑)等人,《可计算性和复杂性》。在罗德尼·G·唐尼60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。10010, 633-643 (2017).MSC公司:03天32分 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Beros}等人,Lect。注释计算。科学。10010、633--643(2017;Zbl 1485.03163) 全文: 内政部 arXiv公司
Laurent Bienvenu;卢多维奇·佩蒂 对角非计算函数和焰火。 (英语) Zbl 1423.03141号 Inf.计算。 253,第1部分,64-77(2017).MSC公司:03D28号 03天32分 PDF格式BibTeX公司 XML格式引用 \textit{L.Bienvenu}和\textit{L.Patey},Inf.Compute。253,第1部分,64--77(2017;Zbl 1423.03141) 全文: 内政部 arXiv公司
比约恩Kjos-Hanssen;弗兰克·斯蒂芬;塞巴斯蒂安·特维恩。 覆盖递归集。 (英语) Zbl 1422.03088号 Ann.纯粹应用。逻辑 168,第4号,804-823(2017).MSC公司:03D28号 03天32分 03E15年 PDF格式BibTeX公司 XML格式引用 \textit{B.Kjos-Hanssen}等人,《纯粹应用》。逻辑168,No.4,804--823(2017;Zbl 1422.03088) 全文: 内政部
卢多维奇·佩蒂 在逆向数学中缺乏凝聚力、细长性或自由性。 (英语) Zbl 1368.03018号 以色列。数学杂志。 216,第2期,905-955(2016). 审核人:杰弗里·赫斯特(布恩) MSC公司:03B30型 35楼03号 03日30分 03天80 10年5月 05元55分 PDF格式BibTeX公司 XML格式引用 \textit{L.Patey},以色列。数学杂志。216,第2号,905--955(2016;Zbl 1368.03018) 全文: 内政部 arXiv公司 哈尔
卢多维奇·佩蒂 Ramsey型图着色和对角线不可计算性。 (英语) Zbl 1342.03015号 架构(architecture)。数学。逻辑 54,编号7-8,899-914(2015). 审核人:杰弗里·赫斯特(布恩) MSC公司:03B30型 35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{L.Patey},拱门。数学。逻辑54,编号7-8899-914(2015;兹bl 1342.03015) 全文: 内政部 arXiv公司 哈尔
斯蒂芬·辛普森。 无法解决的程度:教程。 (英语) Zbl 1461.03036号 Beckmann,Arnold(编辑)等人,《进化可计算性》。2015年6月29日至7月3日在罗马尼亚布加勒斯特举行的第十一届欧洲可计算性会议,CiE 2015。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9136, 83-94 (2015).MSC公司:03日30分 PDF格式BibTeX公司 XML格式引用 \textit{S.G.Simpson},莱克特。注释计算。科学。9136,83-94(2015;Zbl 1461.03036) 全文: 内政部
比约恩Kjos-Hanssen;弗兰克·斯蒂芬;塞巴斯蒂安·特维恩。 覆盖递归集。 (英语) Zbl 1461.03031号 Beckmann,Arnold(编辑)等人,《进化可计算性》。2015年6月29日至7月3日在罗马尼亚布加勒斯特举行的第十一届欧洲可计算性会议,CiE 2015。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9136, 44-53 (2015).MSC公司:03D28号 03天32分 03E15年 PDF格式BibTeX公司 XML格式引用 \textit{B.Kjos-Hanssen}等人,Lect。注释计算。科学。9136,44-53(2015;Zbl 1461.03031) 全文: 内政部 arXiv公司 链接
穆什菲克·汗 移位-复杂序列。 (英语) Zbl 1285.03057号 牛市。符号。日志。 19,第2期,199-215(2013).MSC公司:03天32分 03D28号 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{M.Khan},公牛。符号。日志。19,第2号,199--215(2013;Zbl 1285.03057) 全文: 内政部 欧几里得