[论文解读] Are a and d your cup of tea?

Saharon Shelah|arXiv (Cornell University)|Dec 18, 2000

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

一句话总结

该论文通过使用具有非传递记忆和有限支撑的新颖力迫迭代，一致地构造了一个模型，其中几乎不相交数 𝔞 超过控制数 𝔡，从而解决了集合论中长期存在的问题。该方法利用超幂和迭代力迫，实现了 𝔞 > 𝔡、𝔟 = 𝔡 = μ 和 2⁰ = λ，证明了这些基数不变量在 ZFC 下的独立性。

ABSTRACT

We show that, consistently, every MAD family has cardinality strictly bigger than the dominating number, that is a > d, thus solving one of the oldest problems on cardinal invariants of the continuum. The method is a contribution to the theory of iterated forcing for making the continuum large.

研究动机与目标

• 为解决 ZFC + 𝔞 > 𝔡 是否一致这一长期悬而未决的问题。
• 开发一种具有有限支撑和非传递记忆的新型迭代力迫方法，以控制连续统的基数不变量。
• 在构造 𝔞 > 𝔡 的模型时，消除对大基数（例如可测基数）的依赖，从而强化一致性结果。
• 研究 𝔞、𝔡、𝔟、𝔲 和 𝔦 之间的关系，特别是证明在所构造的模型中 𝔲 < 𝔞 和 𝔦 < 𝔞。
• 提供一个通过超幂技术的力迫迭代来同时控制多个基数不变量的框架。

提出的方法

• 在长度为 𝜅⁺ 的线性、非良序的指标集上，引入一种具有有限支撑和非传递记忆的新力迫迭代。
• 利用 𝜅-完备的超滤子构造超幂，以在极限处保持共因子性和见证性质，确保在扩张中 𝔟 = 𝔡 = 𝜅⁺。
• 使用典范嵌入 𝕛: 𝔼 → 𝔼/𝒟 将地基模型中的性质转移到超幂中，确保控制族保持为控制族。
• 在超幂模型中构造一个 MAD 家族 {𝔸_α : α < 𝜅⁺}，但表明由于共因子性增加，该族并非极大，从而导致 𝔞 > 𝔡。
• 应用具有 nep c.c.c. 公理的迭代力迫，添加控制实数和独立族，确保基数和共因子性的保持。
• 将指标集划分为三部分（S₀, S₁, S₂），分别控制迭代中的 MAD 家族、独立族和控制族。

实验结果

研究问题

• RQ1 在 ZFC 中，是否存在 𝔞 > 𝔡 的一致性？
• RQ2 能否在不假设大基数的条件下建立 𝔞 > 𝔡 的一致性？
• RQ3 在 ZFC 模型中，𝔪、𝔟、𝔡、𝔲 和 𝔦 之间可能的关系是什么？
• RQ4 是否可以使用具有非传递记忆和有限支撑的迭代力迫来同时控制多个基数不变量？
• RQ5 超幂和初等嵌入如何影响力迫扩张中 MAD 家族和控制族的结构？

主要发现

• 该论文在 ZFC 相对下建立了 𝔞 > 𝔡 的一致性，解决了数十年来悬而未决的问题。
• 它构造了一个模型，其中 𝔟 = 𝔡 = μ 且 𝔞 = λ，且 2⁰ = λ，表明 𝔞 可以严格大于 𝔡。
• 该结果通过具有非传递记忆的有限支撑迭代实现，避免了对传递或良序指标集的依赖。
• 最初利用通过可测基数的超幂来实现构造，但该方法后来被改进，消除了对可测性的需求。
• 该模型还满足 𝔲 < 𝔞 和 𝔦 < 𝔞，表明独立数和几乎不相交数可以与滤子数和独立数分离。
• 证明表明，在超幂模型中，一族 {𝔸_α : α < 𝜅⁺} 并非极大，这意味着几乎不相交数超过控制数。