逻辑

2025年03月 的作者和标题

[1] arXiv:2503.00310 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： ZF + DC 中有限集超乘积的基数 显示英文标题

标题： Cardinalities of Ultraproducts of Finite Sets in ZF + DC

Jacob Kowalczyk

主题： 逻辑 (math.LO)

[2] arXiv:2503.00964 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 比较强制方法到密集理想 显示英文标题

标题： Comparing forcing approaches to dense ideals

Monroe Eskew

评论： 作为会议“公理集合论的最新发展”论文集的一部分，该会议于2024年10月在京都大学数学研究所（RIMS）举行。

主题： 逻辑 (math.LO)

[3] arXiv:2503.01191 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 二阶算术中的模态逻辑完备性定理 显示英文标题

标题： Completeness theorems for modal logic in second-order arithmetic

Sho Shimomichi, Yuto Takeda, Keita Yokoyama

主题： 逻辑 (math.LO)

[4] arXiv:2503.01731 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 尖锐的最小性与格点计数 显示英文标题

标题： Sharp o-minimality and lattice point counting

Andrew Harrison-Migochi, Raymond McCulloch

评论： 15页，对引言的呈现进行了小修改。欢迎提出意见

主题： 逻辑 (math.LO) ; 数论 (math.NT)

[5] arXiv:2503.02121 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 论法雷图的模型理论 显示英文标题

标题： On the model theory of the Farey graph

Zahra Mohammadi Khangheshlaghi, Katrin Tent

主题： 逻辑 (math.LO) ; 组合数学 (math.CO) ; 群论 (math.GR)

[6] arXiv:2503.02215 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 环论在o-极小结构中 显示英文标题

标题： Ring theory in o-minimal structures

Annalisa Conversano

评论： 初稿。介绍和参考文献大多缺失

主题： 逻辑 (math.LO) ; 群论 (math.GR) ; 环与代数 (math.RA) ; 表示理论 (math.RT)

[7] arXiv:2503.02290 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 理想的范畴二分法 显示英文标题

标题： The Category Dichotomy for Ideals

Alan Dow, Raul Figueroa-Sierra, Osvaldo Guzmán, Michael Hrušák

主题： 逻辑 (math.LO)

[8] arXiv:2503.03028 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 模型完备性和量化消去对于（有序的）带对合中心单代数 显示英文标题

标题： Model completeness and quantifier elimination for (ordered) central simple algebras with involution

Vincent Astier

主题： 逻辑 (math.LO)

[9] arXiv:2503.03240 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 关于回转预测的笔记 显示英文标题

标题： Notes on slalom prediction

Takashi Yamazoe

评论： 将出现在2024年RIMS集合论研讨会论文集上

主题： 逻辑 (math.LO)

[10] arXiv:2503.03551 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： Zhuk的桥梁、中心化子和相似性 显示英文标题

标题： Zhuk's bridges, centralizers, and similarity

Ross Willard

评论： 26页

主题： 逻辑 (math.LO) ; 计算机科学中的逻辑 (cs.LO)

[11] arXiv:2503.04192 (交叉列表自 math.LO) [中文pdf, pdf, 其他]

标题： 基数特征与可计算性 显示英文标题

标题： Cardinal Characteristics and Computability

Logan McDonald

主题： 逻辑 (math.LO)

[12] arXiv:2503.04430 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 布尔代数作为克隆 显示英文标题

标题： Boolean Algebras as Clones

Arturo De Faveri

主题： 逻辑 (math.LO) ; 计算机科学中的逻辑 (cs.LO)

[13] arXiv:2503.04471 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 水平方向 显示英文标题

标题： The Horizontal Direction

Tristan van der Vlugt

评论： 30页，综述文章，已提交至RIMS公報

主题： 逻辑 (math.LO)

[14] arXiv:2503.05360 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 对直觉主义命题逻辑的推论语义学 显示英文标题

标题： On an Inferential Semantics for Intuitionistic Sentential Logic

Alexander V. Gheorghiu

期刊参考： 逻辑与计算杂志 2025

主题： 逻辑 (math.LO)

[15] arXiv:2503.05364 (交叉列表自 math.LO) [中文pdf, pdf, 其他]

标题： 命题逻辑的证明论语义学带有断言和否定 显示英文标题

标题： Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial

Alexander V. Gheorghiu, Yll Buzoku

主题： 逻辑 (math.LO) ; 计算机科学中的逻辑 (cs.LO)

[16] arXiv:2503.06230 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 关于没有无限中心化子链的李环的一些结果 显示英文标题

标题： Quelques résultats sur les anneaux de Lie qui n ' ont pas de chaine infinie de centralisateurs

Samuel Zamour

评论： 法语

主题： 逻辑 (math.LO) ; 环与代数 (math.RA)

[17] arXiv:2503.06657 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 可表示性通过广义序数和用于分配拟关系代数 显示英文标题

标题： Representability for distributive quasi relation algebras via generalised ordinal sums

Andrew Craig, Claudette Robinson, Wilmari Morton

主题： 逻辑 (math.LO) ; 环与代数 (math.RA)

[18] arXiv:2503.06758 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 严格递增序列 显示英文标题

标题： Strongly increasing sequences

Paul B. Larson, Chris Lambie-Hanson

主题： 逻辑 (math.LO)

[19] arXiv:2503.07658 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 比康托尔集合更多的非康托尔集合存在 显示英文标题

标题： There are more non-Cantorian sets than are Cantorian

Zuhair Al-Johar

评论： 3页，参考文献7的链接已修复

主题： 逻辑 (math.LO)

[20] arXiv:2503.08258 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 超简单性和等差数列 显示英文标题

标题： Supersimplicity and arithmetic progressions

Amador Martin-Pizarro, Daniel Palacín

评论： 定理3.3改进了

主题： 逻辑 (math.LO) ; 组合数学 (math.CO)

[21] arXiv:2503.08312 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 具有双线性形式的空间的Ramsey性质 显示英文标题

标题： Ramsey property for spaces with bilinear forms

Aleksander Ivanov, Frédéric Jaffrennou

评论： 10页

主题： 逻辑 (math.LO) ; 组合数学 (math.CO)

[22] arXiv:2503.08566 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 与$\mathbb{Z}_2$-集相容的关系代数 显示英文标题

标题： Relation Algebras Compatible with $\mathbb{Z}_2$-sets

Jeremy F. Alm, John W. Snow

评论： 前一版本的小错误已修复

主题： 逻辑 (math.LO)

[23] arXiv:2503.08799 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 黎曼积分的绝对性 显示英文标题

标题： Absoluteness of the Riemann integral

Carlos M. Parra-Londoño, Andrés F. Uribe-Zapata

评论： 23页，2图

主题： 逻辑 (math.LO)

[24] arXiv:2503.08910 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 布尔代数上的有限可加测度 显示英文标题

标题： Finitely additive measures on Boolean algebras

Miguel A. Cardona, Diego A. Mejía, Andrés F. Uribe-Zapata

评论： 六十页

主题： 逻辑 (math.LO)

[25] arXiv:2503.09246 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 拉姆齐的见证者 显示英文标题

标题： Ramsey's witnesses

Mauro Di Nasso, Lorenzo Luperi Baglini, Marcello Mamino, Rosario Mennuni, Mariaclara Ragosta

主题： 逻辑 (math.LO) ; 组合数学 (math.CO)

[26] arXiv:2503.09425 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 带有弱光滑芽的拟解析代数生成有序极小结构 显示英文标题

标题： Quasianalytic algebras with weakly smooth germs generate o-minimal structures

Rémi Guénet

评论： 修正了引理2.2中的一个小错误，并添加了一个部分以给出我们主要定理的应用

主题： 逻辑 (math.LO)

[27] arXiv:2503.10176 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 纯必要性逻辑的均匀Lyndon插值与模态约简原理 显示英文标题

标题： Uniform Lyndon interpolation for the pure logic of necessitation with a modal reduction principle

Yuta Sato

评论： 20页

主题： 逻辑 (math.LO)

[28] arXiv:2503.10473 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 射影曲线和弱二阶逻辑 显示英文标题

标题： Projective curves and weak second-order logic

Alessandro Berarducci, Francesco Gallinaro

主题： 逻辑 (math.LO)

[29] arXiv:2503.10506 (交叉列表自 math.LO) [中文pdf, pdf, 其他]

标题： 仿射逻辑中的稳定性 显示英文标题

标题： Stability in affine logic

Itaï Ben Yaacov, Tomás Ibarlucía

评论： 28页

主题： 逻辑 (math.LO) ; 泛函分析 (math.FA)

[30] arXiv:2503.10514 (交叉列表自 math.LO) [中文pdf, pdf, 其他]

标题： 与测度为零的可加集理想的一致性数相关的基数不变量 显示英文标题

标题： Cardinal invariants associated with the combinatorics of the uniformity number of the ideal of meager-additive sets

Miguel A. Cardona

评论： 将发表于京都大学RIMS Kôkyûroku。arXiv管理员注释：与arXiv:2401.15364有大量文本重叠。

主题： 逻辑 (math.LO)

[31] arXiv:2503.10528 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 一个模理论导论到抽象初等类 显示英文标题

标题： A Module-theoretic Introduction to Abstract Elementary Classes

Will Boney

主题： 逻辑 (math.LO) ; 环与代数 (math.RA)

[32] arXiv:2503.10816 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 关于McCarthy代数的结构和理论 显示英文标题

标题： On the structure and theory of McCarthy algebras

Stefano Bonzio, Gavin St. John

主题： 逻辑 (math.LO) ; 环与代数 (math.RA)

[33] arXiv:2503.11605 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 关于极限模型的谱 显示英文标题

标题： On the spectrum of limit models

Jeremy Beard, Marcos Mazari-Armida

评论： 40页。关键词和短语：极限模型；抽象基本类；稳定性；塔

主题： 逻辑 (math.LO)

[34] arXiv:2503.12274 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 支配、纤维化和分解 显示英文标题

标题： Domination, fibrations and splitting

Christine Eagles, Léo Jimenez

评论： 21页

主题： 逻辑 (math.LO)

[35] arXiv:2503.12373 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 双重部分保守的句子 显示英文标题

标题： Doubly partially conservative sentences

Haruka Kogure, Taishi Kurahashi

评论： 25页

主题： 逻辑 (math.LO)

[36] arXiv:2503.12673 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 逻辑博客 2023-2024 显示英文标题

标题： Logic Blog 2023-2024

Andre Nies

主题： 逻辑 (math.LO)

[37] arXiv:2503.12713 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 马丁的可测膨胀器 显示英文标题

标题： Martin's measurable dilator

Hanul Jeon

评论： 46页，修订的树状图小节和第6节

主题： 逻辑 (math.LO)

[38] arXiv:2503.12965 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 规范含义 显示英文标题

标题： Normative implications

Andrea De Domenico, Ali Farjami, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Apostolos Tzimoulis, Xiaolong Wang

主题： 逻辑 (math.LO)

[39] arXiv:2503.13242 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 关于在具有通用导数的几何域中可定义的群 显示英文标题

标题： On groups definable in geometric fields with generic derivations

Anand Pillay, Françoise Point, Silvain Rideau-Kikuchi

评论： 9页

主题： 逻辑 (math.LO)

[40] arXiv:2503.13692 (交叉列表自 math.LO) [中文pdf, pdf, 其他]

标题： 关于抽象和具体的小人 显示英文标题

标题： On abstract and concrete minions

Lukas Juhrich

评论： 144页。最初于2024年6月3日提交的硕士论文修订版。源代码可在https://gitlab.com/lukasjuhrich/ma上获得。

主题： 逻辑 (math.LO) ; 范畴论 (math.CT) ; 环与代数 (math.RA)

[41] arXiv:2503.13727 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 结构高度概念的失效模式 显示英文标题

标题： Failure Modes for Structural Highness Notions

Wesley Calvert, Johanna N.Y. Franklin, Dan Turetsky

主题： 逻辑 (math.LO)

[42] arXiv:2503.13728 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 在同态下的Aronszajn线类 显示英文标题

标题： The class of Aronszajn lines under epimorphisms

Lucas Polymeris, Carlos Martinez-Ranero

评论： 28页，1图

主题： 逻辑 (math.LO) ; 一般拓扑 (math.GN)

[43] arXiv:2503.13744 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： Jonsson 和 Magidor 滤器 显示英文标题

标题： Jonsson and Magidor filters

Omer Ben-Neria, Shimon Garti

主题： 逻辑 (math.LO)

[44] arXiv:2503.13887 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 强拟MV*代数及其逻辑 显示英文标题

标题： Strong quasi-MV* algebras and their logics

Lei Cai, Wenjuan Chen

主题： 逻辑 (math.LO)

[45] arXiv:2503.14081 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 准MV星代数的逻辑 显示英文标题

标题： The logic of quasi MV star algebras

Lei Cai, Yingying Jiang, Wenjuan Chen

评论： 33页

主题： 逻辑 (math.LO)

[46] arXiv:2503.14458 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： HOD对可接受结构的分析 显示英文标题

标题： Analysis of HOD for Admissible Structures

Jan Kruschewski, Farmer Schlutzenberg

评论： 52页

主题： 逻辑 (math.LO)

[47] arXiv:2503.14638 (交叉列表自 math.LO) [中文pdf, pdf, 其他]

标题： 连接标记群的空间和群运算的空间 显示英文标题

标题： Connecting the space of marked groups and the space of group operations

Tamás Kátay

评论： 12页，1图

主题： 逻辑 (math.LO) ; 群论 (math.GR)

[48] arXiv:2503.14811 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 强制、泛性与CBERS 显示英文标题

标题： Forcing, genericity and CBERS

Filippo Calderoni, Dima Sinapova

评论： 10页，欢迎提出意见

主题： 逻辑 (math.LO)

[49] arXiv:2503.15007 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 超赋值、真理与直觉主义逻辑 显示英文标题

标题： Supervaluations, truth, and intuitionistic logic

Pablo Dopico

主题： 逻辑 (math.LO)

[50] arXiv:2503.15292 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 构造性量子逻辑 显示英文标题

标题： Constructive Quantum Logics

Juan P. Aguilera, Guillaume Massas

主题： 逻辑 (math.LO) ; 计算机科学中的逻辑 (cs.LO)