| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 可计算的 Stone 空间 | Nikolay Bazhenov, Matthew Harrison-Trainor, Alexander Melnikov | 2107.01536 | math.LO | 2023-05-31 |
| 通用扩展与群配置定理 | Scott Mutchnik | 2210.07524 | math.LO | 2023-05-31 |
| 必要的遗传不可判定性 | Albert Visser | 2212.03565 | math.LO | 2023-05-31 |
| 关于属性 $mathrm{SOP}\_{2^{n+1}+1}$ 的研究 | Scott Mutchnik | 2305.09811 | math.LO | 2023-05-31 |
| 选择器函数的度和相对可计算范畴性 | I.Sh. Kalimullin | 2305.18581 | math.LO | 2023-05-31 |
| 有限蕴涵基中的基本集相互独立 | Todd Bichoupan | 2304.06837 | math.LO | 2023-05-30 |
| 通用稳定独立性和无树理论 | Itay Kaplan, Nicholas Ramsey, Pierre Simon | 2305.01296 | math.LO | 2023-05-30 |
| 计算可约化的等价关系和一个有效的跳跃操作 | John D. Clemens, Samuel Coskey, Gianni Krakoff | 2005.13777 | math.LO | 2023-05-29 |
| 关于某些带有通用导数的域中可定义群和D群 | Ya'acov Peterzil, Anand Pillay and Francoise Point | 2305.16747 | math.LO | 2023-05-29 |
| 方形紧致性与林德洛夫树 | Pedro E. Marun | 2301.08233 | math.LO | 2023-05-26 |
| 逆向数学中的大数：度量和范畴 | Sam Sanders | 2303.00493 | math.LO | 2023-05-26 |
| 多格上的形式概念和残余 | Blaise B. Koguep Njionou, Leonard Kwuida and Celestin Lele | 2006.07415 | math.LO | 2023-05-25 |
| 正向理论之间的分界线 | Anna Dmitrieva, Francesco Gallinaro and Mark Kamsma | 2304.07557 | math.LO | 2023-05-25 |
| 一些纯必要性逻辑扩展的有限框架属性 | Taishi Kurahashi and Yuta Sato | 2305.14762 | math.LO | 2023-05-25 |
| 可证性逻辑的ω-规则及其模型 | Katsumi Sasaki and Yoshihito Tanaka | 2002.04782 | math.LO | 2023-05-24 |
| J''{o}nsson-Tarski表达式的扩展及谓词非正常模态逻辑中的模型存在 | Yoshihito Tanaka | 2103.16857 | math.LO | 2023-05-24 |
| 正面不可分辨的 | Mark Kamsma | 2305.14127 | math.LO | 2023-05-24 |
| 基于强合并Fraisse类的排名 | Vince Guingona and Miriam Parnes | 2007.02922 | math.LO | 2023-05-23 |
| 在定义完备局部 o-极小结构中的可定义紧致性 | Masato Fujita | 2303.01644 | math.LO | 2023-05-23 |
| 关于度量空间中的Kuratowski分割的注记 | Joanna Jureczko | 2303.16649 | math.LO | 2023-05-23 |
| 有限分支 Henselian 域的 Ax-Kochen-Ershov 原理 | Sylvy Anscombe, Philip Dittmann, and Franziska Jahnke | 2305.12145 | math.LO | 2023-05-23 |
| 用ZFC$^-$或二阶Peano算术的方法推导Jensen $varDelta^1\_3$实数 | Vladimir Kanovei | 2305.12486 | math.LO | 2023-05-23 |
| 关于Keisler测度在超乘积上的问题 | Kyle Gannon | 2305.12509 | math.LO | 2023-05-23 |
| 更高阶稳定性与功能顺序特性 | A. Abd-Aldaim, G. Conant, C. Terry | 2305.13111 | math.LO | 2023-05-23 |
| 二阶算术中的确定性和反射原理 | Leonardo Pacheco and Keita Yokoyama | 2209.04082 | math.LO | 2023-05-22 |