Counting spaces of functions on separable compact lines
该论文研究了紧空间上连续函数空间 的同构分类问题，证明了权数为 的紧空间对应 $2^\kappa\omega_12^{\omega_1}$ 种，而在 Baumgartner 公理下仅有一种）。
🔢 Category
math.LO
76 篇论文
Corrigendum & Addendum to "Categoricity-like Properties in the First Order Realm"
该论文是对 2024 年发表的《一阶领域中的范畴性类似性质》一文的更正与补充说明。
Three Fixed-Dimension Satisfiability Semantics for Quantum Logic: Implications and an Explicit Separator
本文比较了固定有限维希尔伯特空间上量子逻辑的三种可满足性语义，证明了标准语义蕴含局部偏布尔语义，后者又蕴含全局对易投影语义，并构造了一个显式公式作为标准语义可满足但后两者不可满足的分离实例，从而严格区分了这三种语义的可满足性类。
Quantifier elimination for lovely pairs of strongly geometric fields
该论文证明了对于具有量词消去性质的完备强几何域理论 ，其优美对理论在 Delon 定义的包含线性独立性谓词及相应坐标函数符号的扩展语言中同样具有量词消去性质，从而统一推广了代数闭域、稠密代数闭值域、实闭域以及 -进闭域优美对的相关结果。
Nontrivial automorphisms of in Cohen models
本文证明了在连续统假设（CH）模型中添加 个 Cohen 实后，商代数 存在非平凡自同构，并在特定假设下将这一结果推广至 的情形，从而扩展了 Shelah 和 Steprāns 关于 的已有结论。
Ranked Forcing and the Length of Generalized Borel Hierarchies
本文通过将 A. Miller 的-forcing 框架推广至正则不可数基数，利用具有丰富秩函数族的迭代构造，在广义 Baire 空间的子空间上同时实现了-Borel 层级长度的多种非平凡情形，并借助 tagged trees 的推广确定了特定良基树类的精确-Borel 复杂度。
The reals as a subset of an ultraproduct of finite fields
本文提出了利用内部集构造非标准算术模型外部子集的新方法，证明了若素有限域的超积包含代数实数的拷贝，则该拷贝或其代数闭包可被构造，但实数域本身无法通过此类方式构造，而超实数域或基数不小于连续统的代数闭域则可以。
Explicit affine formulas for distances between tuples in classical discrete structures
该论文回答了 Ben Yaacov、Ibarlucía 和 Tsankov 提出的问题，证明了在-值-结构中，可以使用个量词交替来显式构造任意两个-元组之间距离的仿射公式。
Primitive recursive categoricity spectra
本文研究了各类自然结构的可计算范畴性谱的原递归类比，并证明了在相对-范畴的等价结构与线性序、相对-范畴的布尔代数以及作为偏序的可计算范畴树中，这两个概念是等价的。
Primitive recursive categoricity spectra of functional structures
本文研究了可计算结构中的 punctual 结构（即原始递归结构）的范畴性谱，证明了在非-范畴的注入结构中范畴性度与 punctual 范畴性度一致，构造了两者不一致的反例，并证明了在每个非零 c.e. Turing 度中都存在 punctual 同构低度以及 punctual 范畴性度。
On the elementary theory of the real exponential field
该论文在无条件证明指数函数在 上受限的公理系统具有模型完备性的基础上，假设 Schanuel 猜想成立，证明了实指数域完全理论 可由定义完备且满足 的公理系统刻画，从而推导出该理论的可判定性。
On the expressive power of inquisitive team logic and inquisitive first-order logic
本文证明了在询问团队逻辑中，开放公式的表达能力严格超越一阶逻辑，并进一步表明扩展该逻辑可表达有限性，而标准询问一阶逻辑的部分语句也能表达非一阶模型性质。
Four negations and the spectral presheaf
该论文利用瓦卡雷洛夫的格逻辑理论引入并完善了包含四种否定算子的阿克丘林代数逻辑体系，将其应用于量子力学的谱层丛框架，证明了该结构构成双拟直觉主义与双直觉主义逻辑乘积的模型，并揭示了正交补如何决定层丛上的两种否定算子以及谱层丛无法作为相关逻辑模型的无解定理。
Sets with dependent elements: A formalization of Castoriadis' notion of magma
本文在带有预序关系的原子集合的 ZFA 理论框架下，通过将 Castoriadis 的“流形”（magma）概念形式化为满足特定依赖性质的非空开集，并构建了一个基于该依赖关系的“流形层级”（magmatic hierarchy），从而确立了包含原子集合的流形宇宙。
Decomposition of Borel graphs and cohomology
该论文通过建立与 Dunwoody 群可及性研究相类比的上同调判据，证明了具有上同调维数为一且度数一致有界的 Borel 图与 Borel 无环图 Lipschitz 等价，从而为 Chen 等人关于分量拟同胚于树的 Borel 图的结果提供了新的证明。
Stable Canonical Rules and Formulas for Pre-transitive Logics via Definable Filtration
本文通过引入可定义滤过法，将稳定规范规则与公式的理论推广至预传递逻辑，证明了该类逻辑的扩展均可由稳定规范规则公理化，并进一步确立了相关逻辑的有限模型性质、分裂性质及连续统多个非子框架逻辑的存在性。
On the word problem for just infinite groups
本文在不依赖威尔逊 - 格里戈罗丘克分类定理的前提下，证明了有限生成近无限群的递归可枚举表示具有统一的字问题可判定性，并探讨了可数生成情形下的可判定条件，同时构造了字问题既存在可判定又存在不可判定表示的局部有限近无限群实例。
Deciding winning strategies in Yu-Gi-Oh! TCG is hard
该论文证明了在《游戏王》集换式卡牌游戏中，判定给定可计算策略是否为必胜策略的问题是 -完全的（即不可判定），并构造了符合当前禁限卡表的合法卡组，通过归约可计算策略的判定问题至可计算停机问题以及可数良序集问题来证实这一结论。
Almost Kurepa Suslin trees and destructibility of the Guessing Model Property
该论文证明了在 上猜测模型原理与几乎 Kurepa Suslin 树共存的一致性，并展示了该原理可被大小为 的 ccc 力迫破坏，同时建立了弱 Kurepa 树存在、Kurepa 假设失效以及蕴含 上树性质的特定猜测模型原理的一致性。
Punctually Standard and Nonstandard Models of Natural Numbers
该论文通过引入“点态标准性基”的概念，探讨了在自然数同构模型中哪些操作集能保证原始递归函数类保持标准性，从而回答了 Grabmayr 提出的问题并确立了某些自然有限生成结构的点态范畴性。