| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 可计算物理模型的语义 | Matthew P. Szudzik | 2004.01510 | math.LO | 2023-05-02 |
| 通过定理证明器简化有序仿射几何的公理化 | Dafa Li | 2301.11206 | math.LO | 2023-05-02 |
| Font-Rius四价模态逻辑的普通证明和表格证明 | Marcelo Coniglio and Mart''in Figallo | 2305.00130 | math.LO | 2023-05-02 |
| 有限Morley秩的拟Frobenius对 | Tuna Altinel and Luis Jaime Corredor and Adrien Deloro | 2305.00830 | math.LO | 2023-05-02 |
| 单子序理论 | Saharon Shelah | 2305.00968 | math.LO | 2023-05-02 |
| 一个域的通用乘性自同态 | Christian d'Elb''ee | 2212.02115 | math.LO | 2023-04-28 |
| 论述逻辑的同伦学和上同调学解释 | Thiago Alexandre, Gabriel Bittencourt Rios, Hugo Luiz Mariano | 2304.13786 | math.LO | 2023-04-28 |
| CAC在树中的逆向数学 | Julien Cervelle, William Gaudelier and Ludovic Patey | 2206.00571 | math.LO | 2023-04-27 |
| 关于强度测度零集理想的余基数和覆盖的更多内容 | Miguel A. Cardona and Diego A. Mej''ia | 2304.12805 | math.LO | 2023-04-27 |
| 美丽的配对 | Pablo Cubides Kovacsics, Martin Hils, and Jinhe Ye | 2112.00651 | math.LO | 2023-04-25 |
| 一般情境中的隐性承诺 | Mateusz {L}elyk and Carlo Nicolai | 2302.02783 | math.LO | 2023-04-25 |
| 强一致性下的仿照矛盾理论的证明论方面 | Victoria Arce Pistone and Mart''in Figallo | 2304.11481 | math.LO | 2023-04-25 |
| 不包含割除规则的与逆幂零Stone代数相关的序列风格系统 | Liliana M. Cant''u and Mart''in Figallo | 2304.11621 | math.LO | 2023-04-25 |
| 保持与反演 Stone 代数相关的真值度的逻辑 | Liliana M. Cant''u and Mart''in Figallo | 2304.11626 | math.LO | 2023-04-25 |
| 从乔治·布尔到现在：在数字代数中发现类的代数 | Stanley Burris | 2304.11878 | math.LO | 2023-04-25 |
| 伪T闭域 | Samaria Montenegro and Silvain Rideau-Kikuchi | 2304.10433 | math.LO | 2023-04-21 |
| 关于NSOP1理论的一些示例的注记 | Yvon Bossut (ICJ) | 2304.05404 | math.LO | 2023-04-20 |
| 关于中途新的基数特征的更多内容 | Barnab''as Farkas, Lukas Daniel Klausner, Marc Lischka | 2304.09698 | math.LO | 2023-04-20 |
| 有限深度和有限弱宽度的传递逻辑的有限公理化 | Yan Zhang | 2304.09709 | math.LO | 2023-04-20 |
| Banach $L^p$格上的自同构 | Antonio M. Scielzo | 2304.09798 | math.LO | 2023-04-20 |
| 基于有限正交模格的时态逻辑 | Ivan Chajda and Helmut L"anger | 2208.09946 | math.LO | 2023-04-19 |
| 朝向针对Chang模型的通用绝对性定理 | Sandra M"uller and Grigor Sargsyan | 2304.07623 | math.LO | 2023-04-18 |
| 正面逻辑 | Saharon Shelah and Jouko V"a"an"anen | 2008.01145 | math.LO | 2023-04-17 |
| 算术中的不可定义性和绝对不可定义性 | Roman Kossak | 2205.06022 | math.LO | 2023-04-17 |
| 可测基数上超滤器的Cofinal类型 | Tom Benhamou, Natasha Dobrinen | 2304.07214 | math.LO | 2023-04-17 |