| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 实数加法理论中可定义性问题的可决定性 | Alexis B`es and Christian Choffrut | 2102.06160 | math.LO | 2023-06-22 |
| 隐藏和并行化五边形 | Vasco Brattka | 2102.11832 | math.LO | 2023-06-22 |
| 二进制有符号数字表示中实数的极限 | Franziskus Wiesnet and Nils K"opp | 2103.15702 | math.LO | 2023-06-22 |
| 使用Church的论题和选择公理进行归纳和余归纳拓扑生成 | Maria Emilia Maietti, Samuele Maschio, Michael Rathjen | 2103.16592 | math.LO | 2023-06-22 |
| 实例可约性与Weihrauch程度 | Andrej Bauer | 2106.01734 | math.LO | 2023-06-22 |
| 严格n-生成的Heyting代数的种类 | Tapani Hyttinen, Davide Emilio Quadrellaro | 2306.12250 | math.LO | 2023-06-22 |
| 半选择性理想的一些组合性质 | Juli''an C. Cano, Carlos A. Di Prisco, Michael Hruv{s}''ak | 2306.12340 | math.LO | 2023-06-22 |
| 可测集可能全部都是Delta^1_2 | Paul B. Larson, Saharon Shelah | 2005.10399 | math.LO | 2023-06-21 |
| 你能够拿走Komjath的不可达吗？ | Hossein Lamei Ramandi and Stevo Todorcevic | 2009.08596 | math.LO | 2023-06-21 |
| 关于Souslin树的刚性及其泛型分支 | Hossein Lamei Ramandi | 2010.06125 | math.LO | 2023-06-21 |
| 安杰尔的交流律下细矩阵与弗格森矩阵之间的单射态射 | Richard Zach | 2105.15160 | math.LO | 2023-06-21 |
| 正规不可数基数下的广义波兰空间 | Claudio Agostini, Luca Motto Ros, Philipp Schlicht | 2107.02587 | math.LO | 2023-06-21 |
| 亨式值域中的扩张基 | Akash Hossain | 2210.01567 | math.LO | 2023-06-21 |
| 具有Urelements的集合论 | Bokai Yao | 2303.14274 | math.LO | 2023-06-21 |
| $mathsf{IOpen}$的片段 | Konstantin Kovalyov | 2304.00282 | math.LO | 2023-06-21 |
| 直观完备的基础直觉条件逻辑系统 | Grigory Olkhovikov | 2306.10402 | math.LO | 2023-06-21 |
| 关于Sierpiński证明的CH两个结果 | Roman Pol, Piotr Zakrzewski | 2306.11712 | math.LO | 2023-06-21 |
| 马克-斯坦霍恩定理的更短证明 | Pablo And''ujar Guerrero | 2306.09897 | math.LO | 2023-06-20 |
| 通用选择独立家族 | Vera Fischer, Corey Bacal Switzer | 2306.09809 | math.LO | 2023-06-19 |
| 关于NSOP$_2$理论 | Scott Mutchnik | 2206.08512 | math.LO | 2023-06-16 |
| 某些亨塞尔估值域中的剩余域支配 | Clifton Ealy, Deirdre Haskell, Pierre Simon | 2212.05188 | math.LO | 2023-06-16 |
| 算术归纳定义的循环证明 | Anupam Das and Lukas Melgaard | 2306.08535 | math.LO | 2023-06-16 |
| 没有规范基础特性的有限Morley秩环 | Michael Loesch and Daniel Palac''in | 2306.09167 | math.LO | 2023-06-16 |
| 在没有选择公理的情况下重新审视无穷组合数学 | Tam''as Csern''ak and Lajos Soukup | 2204.00247 | math.LO | 2023-06-13 |
| 阿罗的定理、超滤器和逆向数学 | Benedict Eastaugh | 2306.06471 | math.LO | 2023-06-13 |