Quantifying Information Loss under Coarse-Grained Partitions: A Discrete Framework for Explainable Artificial Intelligence
本文提出了一种基于粗粒度划分（CGPs）的离散框架，通过引入范畴统一（CU）和基于 KL 散度的信息损失度量 ，为可解释人工智能中准确性与可解释性之间的权衡提供了数学形式化分析，并揭示了零信息损失在常规评估实践中是极罕见的极限情况。
🔢 Category
math.LO
80 篇论文
The *-variation of the Banach-Mazur game and forcing axioms
本文通过引入基于 Banach-Mazur 博弈变体的新性质（即第一玩家每步选择可数条件集而非单个条件），证明了该性质强于 -策略闭性且能保持 PFA，并以此重证了 Magidor 关于 PFA 与弱方原则一致性的定理，同时辨析了该性质与 -操作闭性在保留或破坏 部分时的显著差异。
On Vector Spaces with Formal Infinite Sums
本文定义了具有形式无限线性组合性质的“合理强向量空间范畴”，证明了其最大范畴等价于超有限可和空间范畴，并分析了该范畴及其相关子范畴在由 诱导的张量积下的闭包性质与单子结构。
-convexity, Weakly Immediate Types, and --Spherical Completions of o-minimal Structures
本文通过引入-有界弱即时类型和-有界 wim-可构造扩张的概念，证明了对于任意固定的 o-最小序域理论 的凸扩张理论 ，每个模型都存在唯一的-球面完备-有界 wim-可构造扩张（即 --球面完备化），从而建立了该理论框架下类似于 Kaplansky 关于极大赋值域定理的类比，并证明了 具有定义上的球面完备性。
More on setwise climbability properties
本文介绍了集合可爬升性的两种变体，证明了第一类变体与已知原理等价且与 PFA 相容，而第二类变体可通过广义 Banach-Mazur 博弈刻画为 Martin 型公理且与 PFA 不相容，并进一步研究了 PFA 的大片段与这些原理的相容性。
The Global Orientation Barrier in Step-Duplicating Recursors: Impossibility, Modular Escape, and a Certified Witness
本文通过 Lean 4 形式化证明揭示了在步长复制递归器中直接组合式终止度量存在的全局障碍，并展示了投影方法如何突破该限制，同时为受限安全片段提供了完整的机器验证归一化与一致性认证链。
Escaping Tennenbaum's Theorem and a Strong Jump Inversion Theorem
该论文通过构建强跳反转定理，证明了十 2022 年 Pakhomov 关于 PA 可计算非标准模型脆弱性的发现同样适用于 PA 的中间强度片段，即构造了一系列定义等价于"PA 加上所有 真命题”的理论，它们均 admits 可计算的非标准模型。
On regulated partitions
本文研究了在$0n=2n \ge 3n=3$时为5），从而揭示了二维与高维情形在博雷尔组合学上的本质差异。
The Conjugacy Relation on One-sided Subshifts is Non-treeable
本文从描述集合论的角度出发，证明了定义在字母表上的一边子移位的共轭关系既非树可分也非阿梅纳。
Modal Fragments
本文系统综述了命题逻辑与模态逻辑中基于基限制的片段研究，通过借鉴 Post 格理论分析表达力与计算复杂度，整合了从任意模态公式定义的通用框架到由布尔函数与特定模态算子构成的“简单模态片段”这两条研究脉络，并探讨了相关片段的可教性与精确可学习性。
The Complexity of the Constructive Master Modality
本文通过引入语义定义的构造性主模态逻辑 和 ，利用其与 片段的翻译证明了这些逻辑具有指数大小有限模型性质且为 EXPTIME 完全，从而解决了 Afshari 等人关于其无菱形片段的猜想，并成功将 和 嵌入其中以确立其有效性问题的 EXPTIME 上界。
Capturing dual team properties with inclusion atoms
本文通过引入包含算子的变体，构建了能够以语法对偶方式表达（拟）向下和（拟）向上封闭性质的命题团队逻辑，揭示了其与模态算子的等价关系，并建立了相应的完备自然演绎系统。
No universal group in a cardinal
本文提出了名为“橄榄性质”的新充分条件，证明了群类满足该条件，从而在违背 GCH 的特定基数下不存在通用群，这一结果超越了以往基于 SOP等复杂性的判定范围。
Reducing the axioms of hypergroups, hyperfields, hypermomules and related structures. A new axiomatic basis for hypercompositional structures
该论文证明了超组合代数中多种结构定义所采用的公理缺乏独立性，并提出了通过减少必要公理数量来最小化这些定义的新公理基础。
Rank and Independence of Imaginaries in Proper Pairs of ACF
本文在 Pillay 对 中虚元几何描述的基础上，定义了一种取值为 的几何秩，该秩不仅推广了实元上的 SU-秩，还能刻画 中的分叉性并导出了判定分叉独立性的显式准则。
Parameterized D-torsors in differential Galois theory
本文利用模型论方法，在具有多个交换导数的微分域背景下，证明了广义强正规扩张均为参数化 D-主齐性空间的伽罗瓦扩张，并给出了此类扩张为对数微分方程伽罗瓦扩张的充要上同调条件。
Robinson Splitting Theorem and Induction
本文证明了在 模型中，若将低度条件替换为超低度条件，则 Robinson 分裂定理的弱化版本依然成立。
Non-Derivability Results in Polymorphic Dependent Type Theory
本文通过构建特定模型证明了在原始P2 系统中无法定义具有归纳原理的参数化商类型，也无法获得流类型的强共归纳原理，并揭示了函数外延性对于在扩展系统中证明自然数归纳原理的必要性。
A new ultrafilter proof of Van der Waerden's theorem
本文利用紧致空间 上的代数方法，提出了一种不依赖极小或幂等超滤子且更为简洁的范德瓦尔登定理新证明。
The Construction Principle and superstability of free objects in varieties of algebras
本文研究了代数簇中自由对象的构造原理与其超稳定性之间的关系，证明了若满足强形式的构造原理，则其绝大多数 AEC 覆盖均不具备超稳定性，并将该结论应用于 -模和群簇等具体情形。