尼古拉·巴热诺夫;马修·哈里森·特雷纳;亚历山大·梅尔尼科夫 可计算石材空间。 （英语） 兹伯利07719414 Ann.纯粹应用。逻辑 174，第9号，文章ID 103304，第25页（2023）.MSC公司：03D78号 03C57号 03D45号 03天80 PDF格式BibTeX公司 XML格式引用 \textit{N.Bazhenov}等人，Ann.Pure Appl。逻辑174，第9号，文章ID 103304，25页（2023；Zbl 07719414） 全文： DOI程序 arXiv公司
乔瓦尼·索尔达;曼利奥·瓦伦蒂 问题一阶部分的代数性质。 （英语） Zbl 07687145号 Ann.纯粹应用。逻辑 174，第7号，文章ID 103270，41页（2023）.MSC公司：03D78号 03天30分 03D55号 03D99号 PDF格式BibTeX公司 XML格式引用 \textit{G.Soldá}和\textit{M.Valenti}，Ann.《纯粹的应用》。逻辑174，第7号，文章ID 103270，41页（2023；Zbl 07687145） 全文： DOI程序 arXiv公司
马修·霍洛普 表示空间的定点属性。 （英语） Zbl 1508.03076号 Ann.纯粹应用。逻辑 173，第5期，文章ID 103090，29 p.（2022）. 审核人：丹尼尔·格拉萨（法罗） MSC公司：03D78号 03E15年 05年5月54日 54H25个 03层60 PDF格式BibTeX公司 XML格式引用 \textit{M.Hoyrup}，Ann.纯应用。逻辑173，第5号，文章ID 103090，29页（2022；Zbl 1508.03076） 全文： DOI程序 哈尔
瓦斯科·布拉特卡;吉多·格拉迪 完成选择。 （英语） 兹比尔1462.03019 Ann.纯粹应用。逻辑 172，第3号，文章ID 102914，31 p.（2021）. 审核人：杰弗里·赫斯特（布恩） MSC公司：03D78号 03立方厘米30 03天30分 03层60 35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{V.Brattka}和\textit{G.Gherardi}，Ann.Pure Appl。逻辑172，第3号，文章ID 102914，第31页（2021；Zbl 1462.03019） 全文： DOI程序 arXiv公司
瓦西里奥斯·格雷戈里亚德斯 Dyck和Preiss均匀分离。 （英语） 兹比尔1522.03193 Ann.纯粹应用。逻辑 169，第10号，1082-1116（2018）.MSC公司：03E15年 03D60年 03天80 28A05号 05年5月54日 PDF格式BibTeX公司 XML格式引用 \textit{V.Gregoriades}，Ann.《纯粹的应用》。逻辑169，No.10082--1116（2018；Zbl 1522.03193） 全文： DOI程序 arXiv公司
鲁伯特·Hölzl;桑杰·贾恩;弗兰克·斯蒂芬 归纳推理和逆向数学。 （英语） Zbl 1403.03017号 Ann.纯粹应用。逻辑 167，第12号，1242-1266（2016）.MSC公司：03立方厘米30 68问题32 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Hölzl}等人，Ann.Pure Appl。逻辑167，编号12142-1266（2016；Zbl 1403.03017） 全文： DOI程序
鲁伯特·Hölzl;保罗·沙弗 普遍性、最优化和随机性缺陷。 （英语） Zbl 1386.03047号 Ann.纯粹应用。逻辑 166，第10号，1049-1069（2015）.MSC公司：03天32分 第68季度30 03天30分 PDF格式BibTeX公司 XML格式引用 \textit{R.Hölzl}和\textit{P.Shafer}，Ann.Pure Appl。逻辑166，No.101049--1069（2015；Zbl 1386.03047） 全文： DOI程序 arXiv公司
Higuchi，K。;T·基哈拉。 Muchnik度数内。二： 可数连续函数的算术层次所诱导的度结构。 （英语） Zbl 1315.03072号 Ann.纯粹应用。逻辑 165，第6期，1201-1241（2014）.MSC公司：03天30分 03E15年 第26A21页 68问题32 PDF格式BibTeX公司 XML格式引用 \textit{K.Higuchi}和\textit{T.Kihara}，Ann.Pure Appl。逻辑165，No.6，1201--1241（2014；Zbl 1315.03072） 全文： DOI程序 arXiv公司
Higuchi，K。;T·基哈拉。 Muchnik度数内。一： 不连续性、可学习性和建构主义。 （英语） Zbl 1315.03071号 Ann.纯粹应用。逻辑 165，第5期，1058-1114（2014）.MSC公司：03天30分 03D78号 03E15年 03层60 68问题32 PDF格式BibTeX公司 XML格式引用 \textit{K.Higuchi}和\textit{T.Kihara}，Ann.Pure Appl。逻辑165，No.5，1058--1114（2014；Zbl 1315.03071） 全文： DOI程序 arXiv公司
马丁·齐格勒 具有最小离散建议的实际计算：非均匀可计算性的复杂性理论及其在有效线性代数中的应用。 （英语） Zbl 1259.03059号 Ann.纯粹应用。逻辑 163，第8期，1108-1139（2012）. 审核人：丹尼尔·格拉萨（法罗） MSC公司：03D78号 03D45号 2015年3月1日 2017年第68季度 65层99 PDF格式BibTeX公司 XML格式引用 \textit{M.Ziegler}，Ann.纯苹果。逻辑163，No.8，1108--1139（2012；Zbl 1259.03059） 全文： DOI程序
瓦斯科·布拉特卡;马修·德·布莱希特;阿诺·保利 封闭选择和统一的低基定理。 （英语） Zbl 1251.03082号 Ann.纯粹应用。逻辑 163，第8期，986-1008（2012）.MSC公司：03层60 03天30分 03E15年 03E25型 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Brattka}等人，Ann.Pure Appl。逻辑163，编号8，986--1008（2012；Zbl 1251.03082） 全文： DOI程序 arXiv公司
瓦斯科·布拉特卡;吉多·格拉迪;阿尔贝托·马科内 Bolzano-Weierstrass定理是弱Kőnig引理的跳跃。 （英语） Zbl 1245.03097号 Ann.纯粹应用。逻辑 163，第6号，623-655（2012）; 增编同上，168，第8号，1605-1608（2017）。 审核人：艾丽斯·勒布（基督城） MSC公司：03层60 03立方厘米30 03天30分 03E15年 PDF格式BibTeX公司 XML格式引用 \textit{V.Brattka}等人，Ann.Pure Appl。逻辑163，No.6，623--655（2012；Zbl 1245.03097） 全文： DOI程序 arXiv公司 反向链接： 月