[论文解读] Long iterations for the continuum

Saharon Shelah|ArXiv.org|Dec 21, 2001

Advanced Topology and Set Theory被引用 3

一句话总结

本文提出了一种在力迫集合理论中进行长迭代的新型框架，利用“主干控制器”和${\cal F}$-迭代来控制连续统，同时保持$\aleph_1$不变并确保正规性。它建立了$\aleph_1$保持和纯可判定性的条件，并将该方法应用于构造满足Borel猜想且${\mathfrak{b}}$较大的模型，扩展了Shelah在[Sh:592]中的结果。

ABSTRACT

We deal with an iteration theorem of forcing notion with a kind of countable support of nice enough forcing notion which is proper aleph_2-c.c. forcing notions. We then look at some special cases (Q_D 's preceded by random forcing).

研究动机与目标

• 开发一种用于长迭代的框架，以在保持$\aleph_1$不变的同时增加连续统。
• 定义并分析“主干控制器”作为管理具有可数支撑和纯扩张的力迫迭代的工具。
• 建立确保${\cal F}$-迭代中$\aleph_1$保持和纯可判定性的条件。
• 将该方法应用于构造满足Borel猜想某种变体且${\mathfrak{b}}$较大的模型。
• 推广“大”超滤子和模型上连续性的概念，以支持迭代稳定性。

提出的方法

• 引入带有拟序$\leq_{\text{pr}}$、$\leq_{\text{apr}}$和$\leq_{\text{us}}$的主干控制器${\cal F}$，以管理力迫条件及其扩展。
• 将${\cal F}$-迭代定义为标准力迫迭代的推广，其条件基于序列$\langle X_\beta : \beta < \alpha \rangle$。
• 引入${\cal F}$-伪c.c.c.（${\cal F}$-psc）的概念，作为防止$\aleph_1$坍塌的充分条件。
• 利用$\omega$上的超滤子$D$和树极限$\text{Lim}_D\langle T_n : n < \omega \rangle$来建模测度收敛并控制泛型性。
• 将该方法应用于从随机力迫$\mathbb{Q}_0$开始的迭代，随后为$\mathbb{Q}_\alpha = \mathbb{Q}_{\mathaccent 28694{D}}$，其中$\mathaccent 28694{D}_\alpha$是$\mathbb{P}_\alpha$-名称，表示一个非主超滤子。
• 将超滤子的“拉姆齐型”性质推广，以确保$\mathbb{P}_\alpha$-泛型实数在早期模型上保持随机性。

实验结果

研究问题

• RQ1 在何种${\cal F}$-迭代条件下可以保持$\aleph_1$？
• RQ2 如何在具有可数支撑的长力迫迭代中确保纯可判定性？
• RQ3 能否构造一个Borel猜想成立且${\mathfrak{b}}$较大的模型？
• RQ4 在长迭代中，何种条件可确保泛型实数在早期模型上保持随机性？
• RQ5 如何将“大”超滤子的概念推广，以支持迭代稳定性？

主要发现

• 本文证明，若$\mathaccent 28694{\mathbb{Q}}$是${\cal F}$-psc迭代，则其极限力迫$\text{Lim}_{\cal F}(\mathaccent 28694{\mathbb{Q}})$也是${\cal F}$-psc，从而保持$\aleph_1$。
• 在引理?中给出了确保纯可判定性的充分条件，涉及通过集合对实现c.c.c.的见证。
• 该方法允许构造一个力迫$\mathaccent 28694{\mathbb{Q}} \in {\mathfrak{K}}_\alpha$（$\alpha < \lambda$），使得添加了$\lambda$个随机实数，且满足$\mathfrak{b} = \mathfrak{d} = \aleph_2$。
• 对于$\alpha = \lambda^+$，本文证明了存在此类力迫，满足$\text{cov}(\text{Null}_{\cal G}) = \aleph_\omega$，且$\mathfrak{b} = \mathfrak{d} = \aleph_2$。
• 本文建立了泛型实数的${\cal G}$-连续性与超滤子的$R_g$-大性之间的等价性，提供了关键的技术桥梁。
• 本文证明，若滤子$D$是${\cal Y}$-窄的并满足某些极限条件，则可将其扩展为在模型$M$上${\cal L}$-大的形式，从而确保迭代中的泛型性。