| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 关于局部反射原理的保全结果 | Haruka Kogure, Taishi Kurahashi | 2306.07243 | math.LO | 2023-06-13 |
| 关于Belnap-Dunn四值逻辑拓展的六值证据与真值逻辑 | Marcelo E. Coniglio and Abilio Rodrigues | 2209.12337 | math.LO | 2023-06-12 |
| 有限域中的不可判定性 II：PAC、PRC和PpC域 | Brian Tyrrell | 2212.12918 | math.LO | 2023-06-12 |
| 马丁猜想在超算术程度上的退行函数 | Patrick Lutz | 2306.05746 | math.LO | 2023-06-12 |
| 关于Zilber的准极小性猜想 | Jonathan Kirby | 2306.05811 | math.LO | 2023-06-12 |
| 图灵度和连续测度的随机性 | Mingyang Li, Jan Reimann | 1910.11213 | math.LO | 2023-06-09 |
| 有关可定义完备的局部o-最小有序群扩张的注记 | Masato Fujita | 2204.01898 | math.LO | 2023-06-09 |
| 蒙塔古悖论无需必然性 | T. Parent | 1611.01102 | math.LO | 2023-06-06 |
| 有限子直纯不可约代数的转移定理 | Wesley Fussner and George Metcalfe | 2205.05148 | math.LO | 2023-06-06 |
| 线性逻辑的代数研究 | Paolo Aglian`o | 2305.12408 | math.LO | 2023-06-06 |
| 带有指数幂的语言的Shepherdson定理的类比 | Konstantin Kovalyov | 2306.02012 | math.LO | 2023-06-06 |
| 隶属函数的中介值：经典情况和双曲值函数 | Daniel Alpay and Liora Mayats-Alpay | 2306.02609 | math.LO | 2023-06-06 |
| 传递性、低度和NSOP$_1$理论中的等级 | Artem Chernikov, Byunghan Kim, Nicholas Ramsey | 2006.10486 | math.LO | 2023-06-05 |
| 集合论的构建 | Frank Quinn | 2009.08867 | math.LO | 2023-06-05 |
| 一阶逻辑的纤维化通用代数 | Colin Bloomfield, Yoshihiro Maruyama | 2205.05657 | math.LO | 2023-06-05 |
| o-极小结构中可定义集合族的基数 | Pablo And''ujar Guerrero | 2305.12294 | math.LO | 2023-06-05 |
| 具有三角范数算子且无零除元的有界模糊格的直积 | Joseph McDonald | 2306.01145 | math.LO | 2023-06-05 |
| 格值模型中的可构建集合：一项负面结果 | Jose Moncayo and Pedro H. Zambrano | 2306.01734 | math.LO | 2023-06-05 |
| 无法合并的一些可定义类型 | Martin Hils and Rosario Mennuni | 2207.09787 | math.LO | 2023-06-02 |
| $widetilde{mid}hspace{1mm}$-可除性的超滤器 II：大局观 | Boris v{S}obot | 2306.00101 | math.LO | 2023-06-02 |
| 粘合可剩余格 | Nick Galatos, Sara Ugolini | 2306.00109 | math.LO | 2023-06-02 |
| ZF中的Ramsey选择原理的含义 | Lorenz Halbeisen, Riccardo Plati, Saharon Shelah | 2306.00743 | math.LO | 2023-06-02 |
| 迪克森引理、希格曼定理及其拓展：序数理论中一些基本结果的综述 | Erhard Aichinger and Florian Aichinger | 1812.03024 | math.LO | 2023-06-01 |
| 基于克隆体的方法在通用代数几何中获得一些有限性结果 | Erhard Aichinger, Bernardo Rossi | 1909.10232 | math.LO | 2023-06-01 |
| 马丁猜想的一部分：关于保序和保度量函数。 | Patrick Lutz and Benjamin Siskind | 2305.19646 | math.LO | 2023-06-01 |