| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 关于Afshari和Leigh的Clo系统不完备性的注记 | Johannes Kloibhofer | 2307.06846 | math.LO | 2023-07-14 |
| 一些简单的一阶秩理论中的剪切 | M. Malliaris and S. Shelah | 2109.12642 | math.LO | 2023-07-13 |
| 可测量的Vizing定理 | Jan Greb''ik | 2303.16440 | math.LO | 2023-07-13 |
| $mathbb{C}[[t]]$上线性代数群的一般稳定性 | Chen Ling and Ningyuan Yao | 2307.05546 | math.LO | 2023-07-13 |
| 在一个参数矛盾设定中的假设推理 | Sabine Frittella (INSA Centre Val de Loire, Universit''e d'Orl''eans, France), Daniil Kozhemiachenko (INSA Centre Val de Loire, Universit''e d'Orl''eans, France), Bart Verheij (Bernoulli Institute, Rijksuniversiteit Groningen, Groningen, the Netherlands) | 2303.15276 | math.LO | 2023-07-12 |
| 巴什库矩阵系统的有序性 | Samuel Vargovv{c}''ik | 2307.04606 | math.LO | 2023-07-12 |
| 大量受限制的二阶逻辑的参数化公理化 | Guillermo Badia, John Lane Bell | 2207.02709 | math.LO | 2023-07-11 |
| 整体有界可余格序交换幺半群中的一般苹果属性和布尔术语 | Antoni Torrens Torrell | 2307.02944 | math.LO | 2023-07-11 |
| 通过自同构群测试理论的定义等价性 | H. Andr''eka, J. Madar''asz, I. N''emeti, G. Sz''ekely | 2211.14232 | math.LO | 2023-07-10 |
| 从饱和嵌入测试到显式算法 | Henry Towsner | 2306.12239 | math.LO | 2023-07-10 |
| Kripke技巧与模态逻辑和超直觉逻辑的单调片段的可决定性 | M. Rybakov, D. Shkatov | 2307.02805 | math.LO | 2023-07-07 |
| Morley定理关于可数模型数量的一个不可判定扩展 | Christopher J. Eagle and Clovis Hamel and Sandra M"uller and Franklin D. Tall | 2107.07636 | math.LO | 2023-07-06 |
| 布尔代数视角下的一些简单理论 | M. Malliaris and S. Shelah | 2108.05314 | math.LO | 2023-07-06 |
| 正逻辑中的初等等价性通过素积 | T. Moraschini, J. J. Wannenburg, K. Yamamoto | 2303.02614 | math.LO | 2023-07-04 |
| 均匀性与非均匀性 | V. M. Zhuravlov | 2307.00069 | math.LO | 2023-07-04 |
| 通用生成器 | Grigor Sargsyan | 2307.00109 | math.LO | 2023-07-04 |
| 复杂幂的准极小性 | Francesco Gallinaro, Jonathan Kirby | 2304.06450 | math.LO | 2023-07-03 |
| 巴依尔大定理的游戏 | Lorenzo Notaro | 2301.11805 | math.LO | 2023-06-30 |
| 分布式系统的新方法：排序和可表示性 | Asier Estevan Muguerza | 2306.16888 | math.LO | 2023-06-30 |
| $L(\mathbb{R})$中归纳样点类的不可达性 | Derek Levinson, Itay Neeman, Grigor Sargsyan | 2210.10076 | math.LO | 2023-06-29 |
| 超力公理下的Galvin性质 | Tom Benhamou, Gabriel Goldberg | 2306.15078 | math.LO | 2023-06-29 |
| 关于Heyting代数的局部有限类别 | M. Martins and T. Moraschini | 2306.15997 | math.LO | 2023-06-29 |
| 可逆和不可逆树 | Milov{s} S. Kurili''c | 2306.16370 | math.LO | 2023-06-29 |
| 野外中的Keisler测度 | Gabriel Conant, Kyle Gannon, James Hanson | 2103.09137 | math.LO | 2023-06-28 |
| 弗罗贝尼乌斯维度的拟群 | Samuel Zamour | 2204.02652 | math.LO | 2023-06-28 |