[论文解读] The distributivity numbers of finite products of P(omega) /fin

Saharon Shelah, Otmar Spinas|arXiv (Cornell University)|Jan 15, 1998

Advanced Topology and Set Theory参考文献 2被引用 7

一句话总结

该论文构建了一个ZFC模型，其中布尔代数 (P(omega)/fin)^{n+1} 的可分配性数严格小于 (P(omega)/fin)^n 的可分配性数，对每个 n < ω 成立，从而解决了Balcar、Pelant和Simon提出的一个长期问题。此外，论文进一步表明，Laver和Miller力迫会使连续统坍塌至h(n)，这意味着通过第一个结果，可以实现一致地在h(n)以下坍塌连续统。

ABSTRACT

Generalizing [ShSi:494], for every n&lt; omega we construct a ZFC-model where the distributivity number of r.o. (P(omega)/fin)^{n+1}, h(n+1), is smaller than the one of r.o.(P(omega)/fin)^{n}. This answers an old problem of Balcar, Pelant and Simon. We also show that Laver and Miller forcing collapse the continuum to h(n) for every n

研究动机与目标

• 解决Balcar、Pelant和Simon提出的关于P(omega)/fin有限乘积的可分配性数的开放问题。
• 在ZFC内构造一个模型，使得对每个 n < ω，(P(omega)/fin)^{n+1} 的可分配性数严格小于 (P(omega)/fin)^n 的可分配性数。
• 分析Laver和Miller力迫对连续统的影响，特别是其对可分配性数的影响。
• 在Laver和Miller力迫下，建立连续统一致坍塌至h(n)的结果，利用所构造的模型。

提出的方法

• 推广早期工作（ShSi:494），作者使用力迫和模型论技术，构造一个具有受控可分配性数的ZFC模型。
• 他们分析布尔代数 (P(omega)/fin)^n 的可分配性数h(n)，重点关注有限乘积中理想与滤子的结构。
• 该方法涉及通过力迫扩张对P(omega)/fin乘积的可分配性性质进行精细控制。
• 他们应用Laver和Miller力迫来分析其对连续统及其与h(n)关系的影响，表明这些力迫会使连续统坍塌至h(n)。
• 该构造依赖于P(omega)/fin的组合性质及其在有限乘积下的行为。
• 证明结合了迭代力迫、可分配性分析和基数不变量，以实现可分配性数之间的期望不等式。

实验结果

研究问题

• RQ1 在ZFC中是否一致地存在一种情形，使得对所有 n < ω，(P(omega)/fin)^{n+1} 的可分配性数严格小于 (P(omega)/fin)^n 的可分配性数？
• RQ2 Laver和Miller力迫是否可用于将连续统坍塌至h(n)，对每个 n < ω？
• RQ3 P(omega)/fin有限乘积的可分配性数与标准力迫概念的行为之间有何关系？
• RQ4 是否存在一个模型，使得有限乘积的可分配性数严格递减，从而解决Balcar、Pelant和Simon提出的问题？
• RQ5 是否可以利用Laver和Miller等力迫概念，一致地将连续统坍塌至h(n)以下？

主要发现

• 该论文构造了一个ZFC模型，其中对每个 n < ω，(P(omega)/fin)^{n+1} 的可分配性数严格小于 (P(omega)/fin)^n 的可分配性数。
• 该构造解决了Balcar、Pelant和Simon最初提出的一个长期开放问题。
• Laver和Miller力迫被证明会使连续统坍塌至h(n)，对每个 n < ω。
• 作为结果，在所构造的模型中，连续统通过这些力迫概念一致地坍塌至h(n)以下。
• 该结果展示了在ZFC中，P(omega)/fin有限乘积的可分配性数之间存在严格的层级结构。
• 该分析确认，可分配性数h(n)并非绝对的，可通过力迫一致地降低。