[论文解读] Well-founded Boolean ultrapowers as large cardinal embeddings

Joel David Hamkins, Daniel Evan Seabold|arXiv (Cornell University)|Jun 26, 2012

Advanced Topology and Set Theory参考文献 4被引用 23

一句话总结

本文证明了通过完备布尔代数上的超滤子构造的良基布尔超幂，可产生大基数嵌入，从而将力迫与大基数统一为布尔超幂构造的两种表现形式。关键结果是，此类嵌入可实现满足任意被布尔代数力迫的句子的传递内模型，尤其在假设强紧致性或超紧致性时成立。

ABSTRACT

Boolean ultrapowers extend the classical ultrapower construction to work with ultrafilters on any complete Boolean algebra, rather than only on a power set algebra. When they are well-founded, the associated Boolean ultrapower embeddings exhibit a large cardinal nature, and the Boolean ultrapower construction thereby unifies two central themes of set theory---forcing and large cardinals---by revealing them to be two facets of a single underlying construction, the Boolean ultrapower.

研究动机与目标

• 通过证明力迫与大基数均源自同一构造——布尔超幂——来统一集合论基础中的核心概念。
• 研究布尔超幂在何种条件下为良基，从而产生大基数嵌入，将经典超幂理论从幂集代数扩展至更广范围。
• 刻画布尔超幂与经典超幂重合或实现已知大基数嵌入的条件。
• 探讨规范通用对象（如迭代测度中的临界序列）在多大程度上自然地从布尔超幂中产生。
• 确定Bukovský-Dehornoy现象（迭代的交集等于力迫扩张）是否可推广至更广泛的布尔超幂类别。

提出的方法

• 在任意完备布尔代数上构造布尔值模型，为一阶语言中的原子公式赋予布尔值，并将这些值递归地扩展至所有公式。
• 通过完备布尔代数上的超滤子定义布尔超幂，利用种子理想从到布尔代数的同态生成超滤子。
• 对良基布尔超幂应用Mostowski坍缩，得到满足布尔代数所力迫的所有句子的ZFC传递内模型。
• 使用布尔超幂的类扩展器表示法，通过布尔代数上的部分函数建模嵌入，推广经典超幂构造。
• 分析偏序集上的力迫与相应布尔代数之间的关系，明确布尔超幂构造在何种情况下产生良基模型。
• 研究布尔超幂框架下的子代数、商、积与理想，以理解其结构相互作用与嵌入性质。

实验结果

研究问题

• RQ1 在何种条件下布尔超幂为良基，且何时产生大基数嵌入？
• RQ2 多大程度上可将大基数嵌入（如来自迭代正规测度的嵌入）实现为布尔超幂？
• RQ3 Bukovský-Dehornoy现象（完整迭代等于有限迭代的交集）是否可推广至Prikry力迫以外的更广类布尔超幂？
• RQ4 布尔超幂与经典超幂有何关系，它们在何种情况下等价？
• RQ5 大基数嵌入的规范通用对象（如临界序列）能否系统地从布尔超幂构造中导出？

主要发现

• 良基布尔超幂产生满足对应布尔代数所力迫的所有句子的ZFC传递内模型，推广了力迫扩张的构造。
• 当力迫概念为$<\kappa$-友好且$\kappa$为强紧致时，布尔超幂构造产生良基模型，即使事先未假设通用性，也能捕捉力迫扩张。
• 由良基布尔超幂产生的嵌入$j: V \to \overline{V}$同构于力迫扩张$V[G]$，其中$\overline{V}$为超幂的Mostowski坍缩。
• 对于在可测基数$\kappa$上的Prikry力迫，$\omega$-迭代嵌入$j_\omega: V \to M_\omega$可被实现为布尔超幂，证实了一个长期存在的猜想。
• 迭代正规测度的临界序列被证明与相应布尔超幂的规范通用对象完全相同，揭示了大基数结构与力迫之间深层联系。
• 布尔超幂构造推广了扩展器模型方法，即使在缺乏幂集代数的情况下，也能通过布尔代数与超滤子统一呈现嵌入。