加载中 . . .
中文标题 作者 论文ID 分类简称 发布时间
第三个技巧 Hannes Diener and Matthew Hendtlass 1801.10136 math.LO 2023-06-22
初等商环完成、教堂论题和分割装配 Maria Emilia Maietti, Fabio Pasquali, Giuseppe Rosolini 1802.06400 math.LO 2023-06-22
构造分析中的McShane-Whitney扩展 Iosif Petrakis 1804.06757 math.LO 2023-06-22
反射次序和序数分析 Fedor Pakhomov, James Walsh 1805.02095 math.LO 2023-06-22
依赖选择、适当性和泛绝对性 David Asper''o and Asaf Karagila 1806.04077 math.LO 2023-06-22
强制公理、可接近性和固定集合反射 Sean D. Cox 1807.06129 math.LO 2023-06-22
集合型中的W类型 Jacopo Emmenegger 1809.02375 math.LO 2023-06-22
在p-进数中可定义的一维群 Juan Pablo Acosta L''opez 1811.09854 math.LO 2023-06-22
余代数几何逻辑:基本理论 Nick Bezhanishvili, Jim de Groot, Yde Venema 1903.08837 math.LO 2023-06-22
精确实数算术的逻辑 Helmut Schwichtenberg, Franziskus Wiesnet 1904.12763 math.LO 2023-06-22
归纳形式拓扑的可实现语义,Church论题和选择公理 Maria Emilia Maietti, Samuele Maschio and Michael Rathjen 1905.11966 math.LO 2023-06-22
集合论模型的初始自嵌入 Ali Enayat and Zachiri McKenzie 1906.02873 math.LO 2023-06-22
Bishop空间的直接谱及其极限 Iosif Petrakis 1907.03273 math.LO 2023-06-22
拟有限集合,拟O-极小性 Nadav Meir 1908.01660 math.LO 2023-06-22
固有小尺度 Justin Miller 1909.00050 math.LO 2023-06-22
具有受限模型完备性质的一类域 Philip Dittmann and Dion Leijnse 1911.03202 math.LO 2023-06-22
贫瘠扩展的类别 Natasha Dobrinen and Daniel Hathaway 1911.06936 math.LO 2023-06-22
Aronszajn树的保护和有界强制公理 Gunter Fuchs 2001.03105 math.LO 2023-06-22
在MA存在的情况下,关于宽Aronszajn树的研究 Mirna Dv{z}amonja and Saharon Shelah 2002.02396 math.LO 2023-06-22
分割上的强着色 William Chen-Mertens, Menachem Kojman, Juris Steprans 2002.06705 math.LO 2023-06-22
分离对角静态反射原理 Gunter Fuchs and Chris Lambie-Hanson 2002.12862 math.LO 2023-06-22
复兴与极大性的结合 Kaethe Minden 2006.03655 math.LO 2023-06-22
在线结构理论的基础 II:算子方法 Rod Downey, Alexander Melnikov and Keng Meng Ng 2007.07401 math.LO 2023-06-22
超滤器的一致性 Boris v{S}obot 2008.02722 math.LO 2023-06-22
可测超力闭包性质 Philipp L"ucke, Sandra M"uller 2009.09530 math.LO 2023-06-22