[论文解读] Forcing with ideals of closed sets

Jindřich Zapletal|ArXiv.org|Sep 4, 2001

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

一句话总结

本文研究由 $σ$-理想 $σ$-由投影集族生成的力迫扩张，表明由此产生的偏序集 $P_I = \text{Borel}(\mathbb{R}) \setminus I$ 是正规的，并添加了一个几乎最小度的单个实数 $r_{\text{gen}}$：任何中间模型 $V[s]$ 要么是 $V$ 的科赫恩扩张，要么等于 $V[r_{\text{gen}}]$。该结果依赖于描述集合论技术与大基数假设，以分析中间扩张的结构。

ABSTRACT

Let I be a sigma-ideal sigma-generated by a projective collection of closed sets. The forcing with I-positive Borel sets is proper and adds a single real r of an almost minimal degree: if s is a real in V[r] then s is Cohen generic over V or V[s]=V[r].

研究动机与目标

• 分析由 $σ$-理想 $σ$-由投影集族生成的力迫扩张中中间模型的结构。
• 在大基数假设下，证明偏序集 $P_I = \text{Borel}(\mathbb{R}) \setminus I$ 是正规的。
• 证明在扩展 $V[r_{\text{gen}}]$ 中，对于任意实数 $s$，中间模型 $V[s]$ 要么是 $V$ 的科赫恩扩张，要么等于 $V[r_{\text{gen}}]$，从而表明通用实数具有几乎最小度。
• 揭示描述集合论与可定义正规力迫之间的联系，特别是通过理想生成的语法。
• 探究理想组合性质是否可纯粹从其定义语法中推导，而独立于其内部组合结构。

提出的方法

• 使用偏序集 $P_I = \text{Borel}(\mathbb{R}) \setminus I$，按包含关系排序，其中 $I$ 是由投影集族生成的 $σ$-理想。
• 应用可数初等子模型 $M$ 的 $M$-通用实数概念，以构造主条件并证明正规性。
• 通过构造候选主条件 $A^*$（即在条件 $A$ 中的 $M$-通用实数集合），证明 $P_I$ 是 $<\omega_1$-正规的，通过在 $M$ 中的稠密集序列上进行对角化，证明 $A^* \notin I$。
• 通过名称 $\dot{r}_{\text{gen}}(n) \in m$ 定义通用实数 $r_{\text{gen}}$，当 $\{s : s(n) = m\}$ 属于通用滤子时，确保 $r_{\text{gen}}$ 被强制属于通用滤子中的所有 Borel 集。
• 通过分析 $J$-小 Borel 集的理想 $J$，将中间扩张约化为 c.c.c. 扩张或完整扩张，证明任何此类 $s$ 是 $P_J$-通用的。
• 通过构造一条通过投影到 $P_I$-正集的树的路径，避开所有 $I$-小的原模型集合，利用科赫恩通用实数证明 $P_J$-通用实数存在于科赫恩扩张中。

实验结果

研究问题

• RQ1 当 $r_{\text{gen}}$ 是 $P_I = \text{Borel}(\mathbb{R}) \setminus I$ 的通用元时，$V$ 与 $V[r_{\text{gen}}]$ 之间的中间模型 $V[s]$ 的结构是什么？
• RQ2 在何种条件下偏序集 $P_I$ 是正规的，这与闭集族生成族的描述复杂性有何关联？
• RQ3 是否可以在不依赖理想 $I$ 的组合性质的前提下，证明通用实数 $r_{\text{gen}}$ 具有几乎最小度？
• RQ4 偏序集 $P_I$ 的正规性是否在力迫扩张中保持不变，且能否从 $I$ 的定义语法中纯 syntactically 证明？
• RQ5 是否存在 $P_I$ 是正规但非 $<\omega_1$-正规的 $I$，或其通用实数不具有最小度的 $I$？

主要发现

• 当 $I$ 是由投影集族生成的 $σ$-理想时，在大基数假设下，偏序集 $P_I = \text{Borel}(\mathbb{R}) \setminus I$ 是 $<\omega_1$-正规的。
• 力迫 $P_I$ 添加了一个单个实数 $r_{\text{gen}}$，使得在 $V[r_{\text{gen}}]$ 中，任何中间模型 $V[s]$ 要么是 $V$ 的科赫恩扩张，要么等于 $V[r_{\text{gen}}]$，从而确立了几乎最小度。
• 通用实数 $r_{\text{gen}}$ 被强制属于通用滤子中的所有 Borel 集，且由滤子唯一确定，因此可通过名称 $\dot{r}_{\text{gen}}$ 明确定义。
• 对于 $V[r_{\text{gen}}]$ 中的任意实数 $s$，若 $V[s]$ 是 $V$ 的 c.c.c. 扩张，则 $s$ 是某个合适 $σ$-理想 $J$ 的 $P_J$-通用实数，且此类实数存在于科赫恩扩张中。
• 通过构造一条通过投影到 $P_I$-正集的树的路径，避开所有 $I$-小的原模型集合，证明了科赫恩扩张中存在 $P_J$-通用实数。
• 本文提供了证据表明，像闭集零测度理想这样的理想可能无法进行如此清晰的分析，因为其组合结构可能无法仅通过语法性质捕捉。