[论文解读] Reasonably complete forcing notions

Andrzej Rosłanowski, Saharon Shelah|arXiv (Cornell University)|Aug 16, 2005

Advanced Topology and Set Theory参考文献 9被引用 10

一句话总结

本文引入并分析了‘合理完备’的强迫公理——具体而言，即性质 A、B 和 C——这些公理可确保当 $\lambda$ 为不可达基数时，$\lambda$-支撑迭代的强迫公理保持 $\lambda$-正规。本文证明了 A-有界性性质与先前的一个概念等价，强化了迭代定理，并应用该框架表明：对于 $\lambda$ 上的两个正规滤子，其控制数为不同的情况在逻辑上是一致的。

ABSTRACT

We introduce more properties of forcing notions which imply that their lambda-support iterations are lambda-proper, where lambda is an inaccessible cardinal. This paper is a direct continuation of section A.2 of math.LO/0210205. As an application of our iteration result we show that it is consistent that dominating numbers associated with two normal filters on lambda are distinct.

研究动机与目标

• 识别并形式化强迫公理的性质（A、B、C），以确保当 $\lambda$ 为不可达基数时，$\lambda$-支撑迭代保持 $\lambda$-正规。
• 通过证明性质 A 和 B 在 $\lambda$-支撑迭代下‘几乎保持不变’，从而强化迭代定理。
• 证明新引入的 A-有界性性质与先前定义的概念等价，从而改进了早期结果。
• 应用迭代框架，构造一个模型，使得 $\lambda$ 上两个不同正规滤子的控制数不相等。
• 利用新颖的强迫公理 $\mathbb{Q}^2_{\mathcal{U}}$，研究 $\lambda$-支撑迭代下不同控制数的一致性。

提出的方法

• 引入强迫公理的三种有界类型性质（A、B、C），重点聚焦于 A 和 B 作为迭代稳定性下‘合理’的候选性质。
• 使用博弈论刻画（在通用玩家与反通用玩家之间）来定义并分析强迫公理的性质。
• 应用 $\lambda$-支撑迭代以在极限情况下保持 $\lambda$-正规性，即使极限公理仅满足原始性质的稍弱版本。
• 基于 $\lambda$ 上的正规滤子 $\mathcal{U}$ 构造特定的强迫公理 $\mathbb{Q}^2_{\mathcal{U}}$，利用正规集和序列来控制通用行为。
• 证明 $\mathbb{Q}^2_{\mathcal{U}}$ 在 $\mathcal{U}$ 上是合理 C-有界的，从而支持其在迭代定理中的应用。
• 运用强迫公理和通用扩张，证明在极限情况下，强迫公理保持了 $\lambda$-正规性所要求的性质。

实验结果

研究问题

• RQ1 性质 A、B 和 C 是否可用于确保当 $\lambda$ 为不可达基数时，强迫公理的 $\lambda$-支撑迭代保持 $\lambda$-正规？
• RQ2 本文引入的新 A-有界性性质是否与 Rosłanowski 和 Shelah [4, §A.2] 中定义的性质等价？
• RQ3 $\mathbb{Q}^2_{\mathcal{U}}$ 强迫公理是否保留了对通用实数的足够控制，以允许 $\lambda$ 上两个不同正规滤子的控制数不相等？
• RQ4 $\mathbb{Q}^2_{\mathcal{U}}$ 的 $\lambda$-支撑迭代本身是否为 $\lambda$-正规？
• RQ5 该迭代框架是否可用于构造一个模型，使得 $\lambda$ 上一个正规滤子的控制数与另一个不同？

主要发现

• 本文引入的 A-有界性性质与 Rosłanowski 和 Shelah [4, §A.2] 中定义的性质等价，从而改进了该文献中定理 A.2.4 的结果。
• 定理 2.5 表明，A-有界性性质在 $\lambda$-支撑迭代下‘几乎保持不变’，即极限强迫公理满足一个稍弱但依然适用的变体。
• 定理 2.10 建立了 B-有界性性质在 $\lambda$-支撑迭代下也‘几乎保持不变’。
• $\mathbb{Q}^2_{\mathcal{U}}$ 强迫公理被证明是在 $\mathcal{U}$ 上合理 C-有界的，支持其在迭代定理中的应用。
• 命题 4.18 确认，在通用扩张中，每个 $f \in {}^\lambda\lambda \cap \mathbf{V}$ 在 $\mathcal{U}^{\mathbb{Q}^2_{\mathcal{U}}}$-正集上最终被 $\tilde{\nu}(\alpha)$ 所有界。
• 结论 4.12 建立了在 $\lambda$ 上两个正规滤子的控制数不同的逻辑一致性，使用了迭代框架和 $\mathbb{Q}^2_{\mathcal{U}}$ 强迫公理。