[论文解读] On Harrington's model in which Separation holds but Reduction fails at the 3rd projective level, and on some related models of Sami

Vladimir Kanovei, Vassily Lyubetsky|arXiv (Cornell University)|Oct 30, 2018

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

一句话总结

本文提供了莱奥·哈林顿（Leo Harrington）1975年未发表结果的完整、已发表证明，即在不依赖大基数或决定性公理的前提下，通过在构造宇宙 L 上使用集合-generic forcing 构造一个 ZFC 模型，使得 $Π^{1}_{3}$-分离成立但 $Σ^{1}_{3}$-约化失败。该研究利用近似不相交编码与 forcing 技术，成功将约化失败的现象隔离于第三级投影层次，而无需依赖大基数或决定性公理。结果表明，在投影层次中，分离与约化性质之间存在严格分离。

ABSTRACT

In a handwtitten note of 1975, Leo Harrington sketched a construction of a model of ZFC (no large cardinals or anything beyond ZFC!) in which $\mathbfΠ^1_3$-Separation holds but $\mathbfΣ^1_3$-Reduction fails. The result has never appeared in a journal or book publication except for a few of old references.

研究动机与目标

• 提供莱奥·哈林顿（Leo Harrington）1975年未发表结果的完整、已发表证明，即在 ZFC 模型中 $Π^{1}_{3}$-分离成立但 $Σ^{1}_{3}$-约化失败。
• 澄清在构造宇宙 L 的 generic 扩张下，第三级投影点类的行为特征。
• 在仅使用 ZFC 和 forcing 的前提下，解决一个开放问题：构造一个模型，使得 $Σ^{1}_{3}$-约化失败而 $Π^{1}_{3}$-分离成立。
• 扩展并形式化萨米（Sami）关于 L 的 generic 扩张中，$Π^{1}_{n}$ 与 $Σ^{1}_{n}$ 在 $n \geq 3$ 时各种组合的分离与约化性质失败或成立的相关结果。

提出的方法

• 通过近似不相交编码 forcing 概念 $Χ$，在构造宇宙 L 上使用集合-generic forcing，将实数编码进一个 generic 实数。
• 用标准 poset forcing 取代哈林顿的布尔值逻辑方法，以避免正则开代数的非绝对性问题。
• 定义 $Σ^{1}_{3}$ 与 $Π^{1}_{3}$ 公式的 forcing-绝对翻译 $φ^*$，通过 $β$-模型刻画 generic 扩张中的真值。
• 建立同质性与绝对性引理，确保 $β$-模型满足 $φ^*$ 当且仅当原始公式在 generic 扩张中成立。
• 构造 $Σ^{1}_{3}$-集合 $A_0, A_1$，并基于一个良序 $\leq^\text{g}_{xz}$ 定义最小见证者，构造子集 $B_0, B_1$ 以检验约化性。
• 证明：若 $Σ^{1}_{3}$-约化成立，则 $A_0, A_1$ 的 $Σ^{1}_{3}$-约化将导出一个 $Σ^{1}_{3}$-集合，与 generic 编码构造矛盾。

实验结果

研究问题

• RQ1 能否在不假设大基数或决定性公理的前提下，构造一个 ZFC 模型，使得 $Π^{1}_{3}$-分离成立但 $Σ^{1}_{3}$-约化失败？
• RQ2 通过近似不相交编码，在 L 的 generic 扩张中，$Σ^{1}_{3}$-约化与 $Π^{1}_{3}$-分离的精确行为是什么？
• RQ3 projective 公式的 forcing-绝对翻译 $φ^*$ 如何与 generic 扩张及 $β$-模型中的真值相互作用？
• RQ4 为何标准布尔值方法在此情境下失效？为何替换为 poset forcing 可解决该问题？
• RQ5 能否在单个模型中一致地将 $Σ^{1}_{3}$-约化失败与 $Π^{1}_{3}$-分离失败分离开来？

主要发现

• 存在一个 L 的 set-generic 扩张，其中 $Π^{1}_{3}$-分离成立但 $Σ^{1}_{3}$-约化失败，证实了哈林顿 1975 年的草图。
• 通过一对 $Σ^{1}_{3}$-集合 $A_0, A_1$ 实现了 $Σ^{1}_{3}$-约化的失败，这些集合无法被不相交的 $Σ^{1}_{3}$-子集 $B_0, B_1$ 约化。
• 该证明表明，$β$-模型满足 $φ^*(x)$ 当且仅当 $φ(x)$ 在 generic 扩张中成立，从而确保了 forcing 绝对性。
• 使用 poset forcing 而非布尔值逻辑，避免了正则开代数的非绝对性，解决了早期方法中的技术问题。
• 该模型仅通过 ZFC 和近似不相交编码构造，未依赖决定性或大基数。
• 结果表明，在第三级投影层次中，$Σ^{1}_{3}$-约化不能从 $Π^{1}_{3}$-分离推出，即使在 ZFC 内部亦然。