| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 某些幂零变种的直接不可约成员的有限公理化 | Joshua Grice | 1912.04176 | math.LO | 2023-09-01 |
| 有界算术模型与鸽巢原理的变体 | Mykyta Narusevych | 2208.14713 | math.LO | 2023-09-01 |
| 逆数学的五个最大者 | Dag Normann and Sam Sanders | 2212.00489 | math.LO | 2023-09-01 |
| 两层次的逻辑与不矛盾概率 | Marta Bilkova and Sabine Frittella and Daniil Kozhemiachenko and Ondrej Majer | 2303.04565 | math.LO | 2023-09-01 |
| 分离颠覆强制原则 | Hiroshi Sakai, Corey Bacal Switzer | 2308.16276 | math.LO | 2023-09-01 |
| 非固定点的pcf理论 | Pierre Matet | 2308.15511 | math.LO | 2023-08-31 |
| ACVF的强极小化简 | Santiago Pinzon | 2308.16133 | math.LO | 2023-08-31 |
| 哥德尔第一不完备性定理的另一证明 | Zuhair A. Al-Johar | 2308.10904 | math.LO | 2023-08-30 |
| $P\_kappa (lambda)$的$mu$-Clubs：人间乐园 | Pierre Matet | 2308.14773 | math.LO | 2023-08-30 |
| $P\_kappa (lambda)$的$mu$-Clubs：天堂中的乐园 | Pierre Matet | 2308.14787 | math.LO | 2023-08-30 |
| 否定加尔文特性 | Tom Benhamou, Shimon Garti and Alejandro Poveda | 2112.13373 | math.LO | 2023-08-29 |
| 关于相对论的Chaitin's $Omega$ 的一些更多结果 | Liang Yu | 2203.07576 | math.LO | 2023-08-29 |
| 四值和模糊双格值逻辑中的自由量化 | Libor Behounek, Martina Dankova, Antonin Dvorak | 2306.13079 | math.LO | 2023-08-29 |
| Lukasiewicz逻辑的完备性证明 | Doratossadat Dastgheib, Hadi Farahani | 2308.01623 | math.LO | 2023-08-29 |
| 真值表的直觉主义：基于RNMatrix的IPC决策过程 | Renato Leme and Marcelo Coniglio and Bruno Lopes | 2308.13664 | math.LO | 2023-08-29 |
| $aleph\_1$-范畴性何时意味着$omega$-稳定性？ | John T. Baldwin, M.C. Laskowski, Saharon Shelah | 2308.13942 | math.LO | 2023-08-29 |
| Shelah修订的GCH定理简介 | Pierre Matet | 2308.14467 | math.LO | 2023-08-29 |
| 埃格尔斯顿定理周边 | Marcin Michalski, Robert Ra{l}owski, Szymon .Zeberski | 2307.07020 | math.LO | 2023-08-28 |
| 乘积逻辑的最大理论 | Valeria Giustarini, Sara Ugolini | 2308.13410 | math.LO | 2023-08-28 |
| 不可达$kappa$的广义基数不变量与$kappa^{++}$处的紧致性 | Radek Honzik and Sarka Stejskalova | 2308.13478 | math.LO | 2023-08-28 |
| 鼠对的冷凝 | John Steel, Nam Trang | 2207.03559 | math.LO | 2023-08-25 |
| 不存在最小的有效不可分离理论 | Yong Cheng | 2211.06190 | math.LO | 2023-08-25 |
| 添加$omega\_2$的高度通用子集 | Esfandiar Eslami, Mohammad Golshani and Rouholah Hoseini Naveh | 2301.09435 | math.LO | 2023-08-25 |
| 刻画某些超滤存在性 | Rafa{l} Filip''ow, Krzysztof Kowitz, Adam Kwela | 2308.12594 | math.LO | 2023-08-25 |
| 基数上不存在通用群 | Saharon Shelah | 1311.4997 | math.LO | 2023-08-24 |