图书信息
内容简介
对 arXiv math.LO 分类的年度综述，涵盖 2025 年 9 月 至 2026 年 8 月 期间发表的研究。本卷基于对 120 篇论文 的细读整理，组织为 44 章，按该领域的研究子方向描绘这一年的全貌。
全书框架（年度产出占比）：
- 描述集合论与波莱尔图复杂度 (20.9%) — 研究描述集合论中波莱尔图、等价关系与超有限性的复杂度与结构性质。
- 赋值域与有序域的模型论 (13.4%) — 聚焦赋值域、亨泽尔域与可定义群的模型论性质，包括存在性片段与几何应用。
- 集合论与依赖类型论基础 (10.4%) — 探索直觉主义集合论、依赖类型论的基础问题，以及模型论与类型论结构之间的相互作用。
- 可定义群与拓扑动力学 (10.1%) — 分析可定义群（特别是阿贝尔群与拓扑群）及其与动力学、小消去与广延几何的联系。
- 极小结构与格扩展 (9.7%) — 研究环与格变体中的极小结构、弱稀疏结构与扩展，聚焦自同构群与拓扑。
- 模态与量子逻辑的语义 (9.2%) — 发展模态、直觉主义与量子逻辑的语义框架，包括互模拟不变性与关系语义。
- 海廷与布尔代数的代数语义 (8.0%) — 考察与海廷、布尔与 MV 代数相关的对偶理论、自由代数与范畴结构。
- 证明论与组合集合论 (7.8%) — 处理证明复杂度、拉姆齐理论变体，以及选择原则与可计算性背景下组合定理的强度。
- 模态逻辑的完全性与插值 (7.0%) — 研究各种模态逻辑（包括因果与量子模态）的完全性、插值与构造性。
- 波莱尔集与纠缠的集合论 (3.6%) — 探索特定集合论模型与理想拓扑下波莱尔集、独立族与纠缠集的性质。
每个子方向均通过三章展开论述——它如何提出自己的问题、其关键结论的强度，以及它开放的争论与前沿，从而让读者获得该领域今年实际产出的可溯源图景。
