| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 弗鲁赫定理无选择公理 | Brian Pinsky | 2305.11382 | math.LO | 2023-05-22 |
| 通过可计算的归约对有限生成代数的词问题进行分类 | Valentino Delle Rose, Luca San Mauro, and Andrea Sorbi | 2305.11563 | math.LO | 2023-05-22 |
| 路径随机树和二阶算术模型 | George Barmpalias and Wei Wang | 2104.12066 | math.LO | 2023-05-19 |
| 指数场的独立关系 | Vahagn Aslanyan, Robert Henderson, Mark Kamsma, Jonathan Kirby | 2211.03071 | math.LO | 2023-05-19 |
| 一般非结构理论与基于线性排序的构造 | Saharon Shelah | 2305.02003 | math.LO | 2023-05-19 |
| AEC和$ \kappa $可测的分类性和合并 | Oren Kolman, Saharon Shelah | math/9602216 | math.LO | 2023-05-19 |
| 一个测度论证$mathfrak p=mathfrak t$ | James Hirschorn | 2212.14171 | math.LO | 2023-05-18 |
| 强迫公理和连续统假设（根据Asper''o和Schindler关于$mathbf{MM}^{++}$蕴含Woodin公理$(*)$的证明） | Matteo Viale | 2305.07784 | math.LO | 2023-05-18 |
| "$mathrm{NSOP}\_3$理论中的独立性属性" | Scott Mutchnik | 2305.09908 | math.LO | 2023-05-18 |
| 有限可定义Tietze扩张性质在有序群的o-最小扩展中 | Masato Fujita | 2011.02922 | math.LO | 2023-05-17 |
| 零维波兰空间中Wadge层次的分类 | Rapha"el Carroy, Luca Motto Ros, Salvatore Scamperti | 2302.01319 | math.LO | 2023-05-17 |
| 在拉姆齐空间中的拓扑博弈 | Juli''an C. Cano and Carlos A. Di Prisco | 2305.09611 | math.LO | 2023-05-17 |
| 无穷逻辑的布尔值语义 | Juan M. Santiago, Matteo Viale | 2112.09416 | math.LO | 2023-05-16 |
| 模型伴侣对于连续统假设问题的言论 | Giorgio Venturi and Matteo Viale | 2204.13756 | math.LO | 2023-05-16 |
| 类理论和二阶算术中的非紧致性 | Alfredo Roque Freire and Kameryn J. Williams | 2212.04445 | math.LO | 2023-05-16 |
| 重新逼近的数和集合 | Peter Hertling, Rupert H"olzl, Philip Janicki | 2301.03285 | math.LO | 2023-05-16 |
| $T$-凸域与单项式群的二分法 | Elliot Kaplan and Christoph Kesting | 2305.07749 | math.LO | 2023-05-16 |
| Aronszajn树和极大性--第2部分 | Omer Ben-Neria and Menachem Magidor and Jouko V"a"an"anen | 2305.07880 | math.LO | 2023-05-16 |
| 某些非正常模态逻辑的有限模型性质与传递性公理 | Kirill Kopnev | 2305.08605 | math.LO | 2023-05-16 |
| 构造性仿射方案的单价化形式 | Max Zeuner and Anders M"ortberg | 2212.02902 | math.LO | 2023-05-15 |
| 斯科特线性序列的句子复杂性 | David Gonzalez and Dino Rossegger | 2305.07126 | math.LO | 2023-05-15 |
| 范畴度与可树立度 | Barbara F. Csima and Dino Rossegger | 2209.04524 | math.LO | 2023-05-12 |
| $mathsf{DC}$是否一致地暗示$mathsf{AC}\_omega$？ | Alessandro Andretta, Lorenzo Notaro | 2305.06676 | math.LO | 2023-05-12 |
| 独立理论中的依赖测量 | Karim Khanaki | 2109.11973 | math.LO | 2023-05-11 |
| Carlson-Simpson引理及其在逆向数学中的应用 | Paul-Elliot Angl`es d'Auriac, Bastien Mignoty, Lu Liu, Ludovic Patey | 2207.12828 | math.LO | 2023-05-11 |