[論文レビュー] Scales and the fine structure of K(R). Part I: Acceptability above the reals

Daniel W. Cunningham|ArXiv.org|May 16, 2006

Advanced Topology and Set Theory参考文献 6被引用数 3

ひとこと要約

本稿は、記述的集合論における最小複雑性スケールの構成を可能にする基盤的結果である、$K(\mathbb{R})$ 内の反復可能な実数前マウスについて、実数上での可接受性の確立を示している。主な貢献は、任意の反復可能な実数前マウス $\mathcal{M}$ が実数上での可接受性を満たすことを証明することであり、これは $K(\mathbb{R})$ 内のスケールの存在を裏付けるものであり、太字の点クラスに関する後続の結果を支える。

ABSTRACT

This article is Part I in a series of three papers devoted to determining the minimal complexity of scales in the inner model $K(\mathbb{R})$. Here, in Part I, we shall complete our development of a fine structure theory for $K(\mathbb{R})$ which is essential for our work in Parts II and III. In particular, we prove the following fundamental theorem which supports our analysis of scales in $K(\mathbb{R})$: If $\mathcal{M}$ is an iterable real premouse, then $\mathcal{M}$ is acceptable above the reals. This theorem will be used in Parts II and III to solve the problem of finding scales of minimal complexity in $K(\mathbb{R})$.

研究の動機と目的

• $K(\mathbb{R})$ のための細密構造理論を構築し、内モデル内のスケールの分析を支援すること。
• 反復可能な実数前マウスについて、実数上での可接受性を確立すること。これはスケール構成にとって重要な性質である。
• 決定性仮定の下で、$K(\mathbb{R})$ 内に最小複雑性スケールが存在するという基礎的問題を解決すること。
• 第II部および第III部の理論的基盤を提供すること。これらは太字の点クラスおよびスケール性質を分析する。

提案手法

• Dodd-Jensen の可接受性概念を実数の集合を含める形に一般化し、定義 3.15 で「実数上での可接受性」を定義する。
• 前マウスの順序数高さに関する超限再帰を用いて、後続段階および極限段階における可接受性を証明する。
• 補題 4.2 および補題 4.3 を適用し、後続段階で構成された実数の集合が $\widetilde{\Sigma}_\omega(\mathcal{M}^\gamma)$ 内にあることを示し、定義可能性を保証する。
• 重要な観察として、ある $n$ に対して $\rho^{n}_{\mathcal{M}^\gamma} \leq \kappa$ ならば可接受性が成り立つこと。これは $\rho^{n}_{\mathcal{M}^\gamma} > \kappa$ のときの背理法により導かれる。
• 標準的な前マウス反復よりも強い反復手順を用いて、階層の各段階で可接受性を維持する。
• $\rho^{n}_{\mathcal{M}^\gamma} < \kappa$ ならば $\mathcal{M}^\gamma$ は実数マウスであることを証明し、これにより細密構造的ツールの適用が可能になる。

実験結果

リサーチクエスチョン

• RQ1 反復可能な実数前マウス $\mathcal{M}$ に対して、太字の点クラス $\widetilde{\Sigma}_m(\mathcal{M})$ がスケール性質を満たす条件は何か？
• RQ2 $K(\mathbb{R})$ 内のスケールの最小複雑性は何か。また、細密構造を用いてどのように構成できるか？
• RQ3 すべての反復可能な実数前マウスについて、実数上での可接受性は成り立つか。また、それはスケールの存在をどのように支援するか？
• RQ4 実数の集合 $\mathbb{R}$ の存在が、$K(\mathbb{R})$ 内の細密構造および定義可能性に与える影響は何か？

主な発見

• すべての反復可能な実数前マウス $\mathcal{M}$ は、定理 4.1 で示されたように、実数上での可接受性を満たす。
• $A \in M^{\gamma+1} \setminus M^\gamma$ が実数の集合である場合、$A \in \widetilde{\Sigma}_\omega(\mathcal{M}^\gamma)$ である。これは $\omega$ 段階での定義可能性を保証する。
• 可接受性の証明は、ある $n$ に対して $\rho^{n}_{\mathcal{M}^\gamma} \leq \kappa$ を示すことに依存しており、これにより $M^{\gamma+1}$ が $\widetilde{\Sigma}_\omega(\mathcal{M}^\gamma)$ を超える新しい実数を追加しないことが保証される。
• $H^{\mathcal{M}^\gamma}_\kappa \neq H^{\mathcal{M}^{\gamma+1}}_\kappa$ ならば、$\mathcal{M}^\gamma$ は実数マウスであり、$\rho^{n+1}_{\mathcal{M}^\gamma} < \kappa$ である。これは細密構造的制御を支持する。
• 可接受性の結果は、$\mathcal{M}$ がすべての実数を含まない場合にも成り立つ。実数上での可接受性の定義は $\mathbb{R}^\mathcal{M} = \mathbb{R}$ を要請しないからである。
• この結果は第II部の基礎的根拠となり、弱い実数マウスに対して $m = m(\mathcal{M})$ のとき、$\widetilde{\Sigma}_m(\mathcal{M})$ がスケール性質を満たすことを証明するために用いられる。