[论文解读] Lightface mice with finitely many Woodin cardinals from optimal determinacy hypotheses

Yizheng Zhu|arXiv (Cornell University)|Oct 7, 2016

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

一句话总结

本文建立了最优决定性假设之间的等价性——具体而言，是关于 $\boldsymbol{\Pi}^1_{2n+1}$-决定性与轻型 $\Delta^1_{2n+2}$-决定性的假设——与存在一个 $(\omega, \omega_1)$-可迭代的 $M_{2n+1}^\#$ 对所有自然数 $n$ 的等价性。通过引入 $\Pi^1_3$-可迭代的鼠模型并利用 $L[T_3]$ 的不可区分序数，本文将较低层级的投影层次中的“坏序列论证”推广到了更高层级，解决了奇数 $n$ 的一个猜想，并从决定性假设中证明了 $M_3^\#$ 的存在性。

ABSTRACT

The determinacy of lightface $Δ^1_{2n+2}$ and boldface $\boldsymbolΠ^1_{2n+1}$ sets implies the existence of an $(ω, ω_1)$-iterable $M_{2n+1}^{\#}$.

研究动机与目标

• 建立最优决定性原则与存在具有有限多个伍丁基数的可迭代鼠模型之间的等价性。
• 解决文献[10, 第4.2节]中关于在最优决定性假设下 $M_{2n+1}^\#$ 对奇数 $n$ 存在性的猜想。
• 将针对 $M_1^\#$ 的“坏序列论证”推广至投影层次的更高层级，特别是针对 $n=1$ 的情形。
• 为处理更高层级 $L$ 的类比中出现的复杂性转移，构建一个框架，以 $L[T_3]$ 取代 $M_2$ 作为正确的基结构。
• 表明 $\Pi^1_3$-可迭代的鼠模型是决定性背景下可数初始段 $L$ 的更高层级类比的正确形式。

提出的方法

• 通过在 $\Pi^1_3$-可迭代的鼠模型上构建迭代树堆栈并分析分支行为，将‘坏序列论证’推广至更高层级。
• 将 $\Pi^1_3$-可迭代的 $x$-鼠模型用作 $L$ 的可数初始段在更高层级的类比，使用 Dodd-Jensen 的预良序 $\leq_{DJ(x)}$。
• 在 $\Delta^1_2$-决定性下，应用 Dodd-Jensen 秩的 $\Sigma^1_4$-绝对比较，借助 Silver 的二分法和 $Q$-理论。
• 从一组尊重 $\cdot^{3\#}_i$ 的分支序列中构造极限分支 $b = \bigcup_i b_i$，确保其共尾性与直接极限中的同构性。
• 使用标准映射 $\tau: \mathcal{R} \to \mathcal{M}_b^\mathcal{T}$ 证明 $b$ 是共尾分支，从而推出 $\mathcal{M}_b^\mathcal{T} = \mathcal{R}$ 且 $b$ 尊重 $\cdot^{3\#}_n$。
• 应用文献[2]中的技术，得出 $M_2^\#(\mathcal{Q})$ 是 $(\omega, \omega_1)$-可迭代的，再通过取 $\Sigma_1$-Skolem 滑块，获得一个 $(\omega, \omega_1)$-可迭代的 $M_3^\#$。

实验结果

研究问题

• RQ1 是否 $\boldsymbol{\Pi}^1_{2n+1}$-决定性与 $\Delta^1_{2n+2}$-决定性蕴含存在一个 $(\omega, \omega_1)$-可迭代的 $M_{2n+1}^\#$？
• RQ2 用于 $M_1^\#$ 的‘坏序列论证’能否推广至更高层级，如 $M_3^\#$？
• RQ3 在投影层次中，$L$ 的正确更高层级类比是什么？它与 $M_2^\#$ 有何关系？
• RQ4 $\Pi^1_3$-可迭代的鼠模型及其 Dodd-Jensen 秩如何与 $M_2^\#$ 和 $M_3^\#$ 的构造相关联？
• RQ5 在 $\Delta^1_2$-决定性下，能否通过 $\Sigma^1_4$-定义的关系使不同实数上的 $\Pi^1_3$-可迭代鼠模型的比较具有绝对性？

主要发现

• 本文证明了对所有 $n \in \mathbb{N}$，$\boldsymbol{\Pi}^1_{2n+1}$-决定性与 $\Delta^1_{2n+2}$-决定性等价于存在一个 $(\omega, \omega_1)$-可迭代的 $M_{2n+1}^\#$。
• 定理 1.1 中的 $2 \Rightarrow 3$ 方向对 $n > 0$ 成立，从而完成了对文献[10, 第4.2节]中关于奇数 $n$ 的猜想的证明。
• 当 $n=1$ 时，通过取 $M_2^\#(\mathcal{Q})$ 的 $\Sigma_1$-Skolem 滑块，构造出一个 $(\omega, \omega_1)$-可迭代的 $M_3^\#$，其中 $\mathcal{Q}$ 是 $\Pi^1_3$-可迭代鼠模型的直接极限。
• 编码 $\Pi^1_3$-可迭代 $x$-鼠模型的实数集合是 $\Pi^1_3(x)$，对所有 $x$ 一致；Dodd-Jensen 秩 $\|\mathcal{M}\|_{DJ(x)}$ 是 $\Delta^1_3(x)$-可定义的。
• 在 $\Delta^1_2$-决定性下，不同实数上的 $\Pi^1_3$-可迭代鼠模型的比较是 $\Sigma^1_4$-绝对的，确保了构造的稳健性。
• 证明表明 $M_2^\#(\mathcal{Q})$ 允许一个部分 $(\omega, \omega_1)$-迭代策略 $\Gamma$，该策略能正确移动顶部的 $M_2^\#$-组件，并在下拉过程中保持 $\Pi^1_3$-可迭代性。