| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 关于场的几何理论的注记 | Will Johnson and Jinhe Ye | 2208.00586 | math.LO | 2023-06-28 |
| 接触偏序集 | Paolo Lipparini | 2303.06259 | math.LO | 2023-06-28 |
| 关于直觉模态逻辑有限变量片段的算法表达能力 | M. Rybakov, D. Shkatov | 2306.15202 | math.LO | 2023-06-28 |
| 抽象初等类中的NIP-like概念 | Wentao Yang | 2303.04125 | math.LO | 2023-06-27 |
| 平铺问题与逻辑的复杂性（扩展版） | M. Rybakov, D. Serova | 2306.13736 | math.LO | 2023-06-27 |
| 初始段条件对于$kappa^+$-超紧致性 | Farmer Schlutzenberg | 2306.13827 | math.LO | 2023-06-27 |
| 许多值逻辑中的渐近真值定律 | Guillermo Badia, Xavier Caicedo and Carles Noguera | 2306.13904 | math.LO | 2023-06-27 |
| 前后系统见证不可逆性 | Milov{s} S. Kurili''c | 2306.13966 | math.LO | 2023-06-27 |
| 一个简单的连续理论 | James Hanson | 2306.14324 | math.LO | 2023-06-27 |
| 解析延拓和Zilber的拟极小性猜想 | Alex Wilkie | 2306.14562 | math.LO | 2023-06-27 |
| 中途新的基数特征 | J"org Brendle, Lorenz J. Halbeisen, Lukas Daniel Klausner, Marc Lischka, Saharon Shelah | 1808.02442 | math.LO | 2023-06-26 |
| 逆向数学中的大问题：实数的不可数性 | Sam Sanders | 2208.03027 | math.LO | 2023-06-26 |
| 有限Kripke帧上保持多模态谓词逻辑的算法复杂性 | I. Agadzhanian, M. Rybakov, D. Shkatov | 2306.13559 | math.LO | 2023-06-26 |
| 可接受的二阶算术子理论扩展 | Gerhard J"ager and Michael Rathjen | 2202.03476 | math.LO | 2023-06-23 |
| 具有独立子空间并的向量空间 | Alessandro Berarducci, Marcello Mamino, Rosario Mennuni | 2209.03867 | math.LO | 2023-06-23 |
| 不带顶级扩张器的基于Extender的Magidor-Radin迫降 | Moti Gitik and Sittinon Jirattikansakul | 2306.12831 | math.LO | 2023-06-23 |
| 认证的$Sigma\_1$-句子 | Taishi Kurahashi and Albert Visser | 2306.13049 | math.LO | 2023-06-23 |
| Sahlqvist通过翻译 | Willem Conradie, Alessandra Palmigiano, Zhiguang Zhao | 1603.08220 | math.LO | 2023-06-22 |
| 归纳不等式的建设性规范性 | Willem Conradie and Alessandra Palmigiano | 1603.08341 | math.LO | 2023-06-22 |
| 逻辑紧凑性与约束满足问题 | Danny Rorabaugh, Claude Tardif and David Wehlau | 1609.05221 | math.LO | 2023-06-22 |
| 灌丛密度 | Siddharth Bhaskar | 1702.03956 | math.LO | 2023-06-22 |
| $lambdamu，rho，theta$-演算的规约序列长度估计 | P''eter Batty''anyi and Karim Nour | 1703.05930 | math.LO | 2023-06-22 |
| 宇宙主义及其扩展 | Carolin Antos and Neil Barton and Sy-David Friedman | 1708.05751 | math.LO | 2023-06-22 |
| Muchnik度与基数特征 | Benoit Monin and Andr''e Nies | 1712.00864 | math.LO | 2023-06-22 |
| 莫斯科瓦基斯对表示空间的扩展 | Dimiter Skordev | 1801.09544 | math.LO | 2023-06-22 |