山姆·桑德斯 克莱恩可计算性理论中的非正常深渊。 （英语） Zbl 07787569号 Della Vedova，Gianluca（编辑）等人，《逻辑与计算的统一》。第19届欧洲可计算性会议，2023年7月24日至28日，格鲁吉亚巴统，CiE 2023。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13967, 37-49 (2023).MSC公司：03B70号 第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.桑德斯}，莱克特。注释计算。科学。13967，37-49（2023；Zbl 07787569） 全文： DOI程序 arXiv公司
山姆·桑德斯 实数不可数的计算性质。 （英语） Zbl 07691334号 Ciabattoni，Agata（编辑）等人，《逻辑、语言、信息和计算》。第28届国际研讨会，WoLLIC 2022，Iași，罗马尼亚，2022年9月20日至23日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13468, 362-377 (2022).MSC公司：03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.桑德斯}，莱克特。注释计算。科学。13468、362--377（2022；Zbl 07691334） 全文： DOI程序 arXiv公司
山姆·桑德斯 （mathbb{R}）不可数性的逆向数学。 （英语） Zbl 07627935号 Berger，Ulrich（编辑）等人，《可计算性的革命与启示》。第18届欧洲可计算性会议，2022年7月11日至15日，英国斯旺西，CiE 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13359, 272-286 (2022).MSC公司：第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.桑德斯}，莱克特。注释计算。科学。13359、272--286（2022；Zbl 07627935） 全文： DOI程序 arXiv公司
达格·诺曼;山姆·桑德斯 关于\（\mathbb{R}\）的不可数性。 （英语） Zbl 1523.03004号 J.塞姆。日志。 87，第4期，1474-1521（2022）. 审核人：杰弗里·赫斯特（布恩） MSC公司：03B30型 35楼03号 03D65年 03D55号 03日30分 PDF格式BibTeX公司 XML格式引用 \textit{D.Normann}和\textit{S.Sanders}，J.Symb。日志。87，第4号，1474--1521（2022；Zbl 1523.03004） 全文： DOI程序 arXiv公司
山姆·桑德斯 在图灵和克莱恩之间。 （英语） Zbl 07551724号 Artemov，Sergei（编辑）等人，《计算机科学的逻辑基础》。2022年1月10日至13日，美国佛罗里达州迪尔菲尔德海滩，LFCS 2022国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13137, 281-300 (2022).MSC公司：03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.桑德斯}，莱克特。注释计算。科学。13137，281--300（2022；Zbl 07551724） 全文： DOI程序 arXiv公司
达格·诺曼;山姆·桑德斯 图灵和克莱恩之间。 （英语） Zbl 07551721号 Artemov，Sergei（编辑）等人，《计算机科学的逻辑基础》。2022年1月10日至13日，美国佛罗里达州迪尔菲尔德海滩，LFCS 2022国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13137, 236-252 (2022).MSC公司：03B70号 PDF格式BibTeX公司 XML格式引用 \textit｛D.Normann｝和\textit｛S.Sanders｝，Lect。注释计算。科学。13137，236--252（2022；Zbl 07551721） 全文： DOI程序 arXiv公司
山姆·桑德斯 将证明从可数数学提升到不可数数学。 （英语） 兹比尔1518.03014 Inf.计算。 287，文章ID 104762，20 p.（2022）. 审核人：罗曼·穆拉夫斯基（波兹南） MSC公司：35楼03号 03B30型 PDF格式BibTeX公司 XML格式引用 \textit{S.Sanders}，Inf.计算。287，文章ID 104762，20 p.（2022；Zbl 1518.03014） 全文： DOI程序
山姆·桑德斯 数学的表现和基础。 （英语） Zbl 07522852号 圣母院J.形式逻辑 63，编号1，1-28（2022）.MSC公司：03B30型 35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{S.Sanders}，圣母院J.形式逻辑63，No.1，1--28（2022；Zbl 07522852） 全文： DOI程序 arXiv公司
乔丹·米切尔·巴雷特;罗德尼·G·唐尼。;诺姆·格林伯格 二阶算术中的Cousin引理。 （英语） Zbl 07514667号 程序。美国数学。Soc.，爵士。B类 9, 111-124 (2022).MSC公司：03B30型 35楼03号 03D78号 26A39飞机 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Barrett}等人，Proc。美国数学。Soc.，爵士。B 9，111--124（2022；Zbl 07514667） 全文： DOI程序 arXiv公司 OA许可证
山姆·桑德斯 可数集合与逆向数学中可数集合的对比。 （英语） Zbl 07481740号 可计算性 11，第1号，9-39（2022）.MSC公司：03B30型 35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{S.Sanders}，可计算性11，No.1，9-39（2022；Zbl 07481740） 全文： DOI程序 arXiv公司
山姆·桑德斯 Heine-Borel定理的分裂和稳健性。 （英语） Zbl 07495186号 De Mol，Liesbeth（编辑）等人，《与可计算性的联系》。第17届欧洲可计算性会议，CiE 2021，虚拟事件，比利时根特，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12813, 395-406 (2021).MSC公司：第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.桑德斯}，莱克特。注释计算。科学。12813、395--406（2021；Zbl 07495186） 全文： DOI程序 arXiv公司
费尔南多·费雷拉 证明挖掘中的伪Heine/Borel紧致性原理。 （英语） Zbl 07495168号 De Mol，Liesbeth（编辑）等人，《与可计算性的联系》。第17届欧洲可计算性会议，CiE 2021，虚拟事件，比利时根特，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12813, 199-203 (2021).MSC公司：第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.费雷拉}，莱克特。注释计算。科学。12813、199--203（2021；Zbl 07495168） 全文： DOI程序
山姆·桑德斯 拓扑的逆向数学：维数、仿紧性和分裂。 （英语） Zbl 1486.03023号 圣母院J.形式逻辑 61，第4期，537-559（2020年）.MSC公司：03B30型 35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{S.Sanders}，圣母院J.形式逻辑61，No.4，537--559（2020；Zbl 1486.03023） 全文： DOI程序 arXiv公司