安德烈·鲍尔;詹姆斯·汉森(James E.Hanson)。 可数雷亚尔。 arXiv:2404.01256 预打印,arXiv:2404.01256[math.LO](2024)。MSC公司:03B99号 03楼55 BibTeX公司 引用 \textit{A.Bauer}和\textit{J.E.Hanson},“可数领域”,预印本,arXiv:2404.01256[math.LO](2024) 全文: arXiv公司 OA许可证
安德烈·鲍尔 Spreen空间和合成Kreisel-Lacombe-Soenfield-Tseitin定理。 arXiv:2307.07830 预印本,arXiv:2307.07830[math.LO](2023)。MSC公司:03层60 03楼55 BibTeX公司 引用 \textit{A.Bauer},“Spreen空间与综合Kreisel-Lacombe-Shoenfield-Tseitin定理”,预印本,arXiv:2307.07830[math.LO](2023) 全文: arXiv公司 OA许可证
安德烈·鲍尔;菲利普·哈塞尔瓦特(Philipp G.Haselwarter)。;彼得·勒法努·卢姆斯代恩 从属类型理论的一般定义。 arXiv:2009.05539 预印本,arXiv:2009.05539[math.LO](2020)。MSC公司:03B38型 03楼50 BibTeX公司 引用 \textit{A.Bauer}等人,“依赖型理论的一般定义”,Preprint,arXiv:2009.05539[math.LO](2020) 全文: arXiv公司 OA许可证
安德烈·鲍尔;杰森·格罗斯;彼得·勒法努·卢姆斯代恩;迈克·舒尔曼;索索、马蒂厄;溅出物,Bas HoTT库:Coq中同伦类型理论的形式化。 arXiv:16100.04591 预印本,arXiv:16100.04591[cs.LO](2016)。MSC公司:03B70号 03年11月15日 55单位35 BibTeX公司 引用 \textit{A.Bauer}等人,“HoTT库:Coq中同伦类型理论的形式化”,Preprint,arXiv:1610.04591[cs.LO](2016) 全文: arXiv公司 OA许可证