圖書信息
內容簡介
對 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%) — 探索特定集合論模型與理想拓撲下波萊爾集、獨立族與糾纏集的性質。
每個子方向均通過三章展開論述——它如何提出自己的問題、其關鍵結論的強度，以及它開放的爭論與前沿，從而讓讀者獲得該領域今年實際產出的可溯源圖景。
