[論文レビュー] Scales in hybrid mice over $\mathbb{R}$

Farmer Schlutzenberg, Nam Trang|arXiv (Cornell University)|Oct 26, 2012

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

ひとこと要約

本稿は、$\ mathrm{Lp}^{{{}^{\ mathrm{G}}}Ω}(\mathbb{R},\Omega\mathord{\upharpoonright}\mathrm{HC})$ において、$\ mathbb{R}$ 上のハイブリッド・マウスにおけるスケール解析を、Steel の $L(\mathbb{R})$ および $\ mathrm{Lp}(\mathbb{R})$ 上のスケール構成を $\ Theta$-g-組織化された $\ Omega$-プレマウスに一般化することで確立する。主な貢献は、最適な決定性仮説の下で、これらのハイブリッド・マウスにおけるスケール存在定理を体系的に確立することであり、これによりコア・モデル誘導を用いたより強力な内因的モデル理論的結論に到達可能となる。

ABSTRACT

We develop a general theory of strategic mice, prove their condensation properties, and analyze the scales pattern in the stack of $Θ$-g-organized $\mathcal{F}$-mice over $\mathbb{R}$, Lp$^{G\mathcal{F}}(\mathbb{R})$, for a class of nice operators $\mathcal{F}$.

研究の動機と目的

• コア・モデル誘導を用いたより強力な一貫性強度の結果（例：$\ mathsf{AD}^{+} + \Theta > \Theta_0$ のモデル）を得るために、$L(\mathbb{R})$ および $\ mathrm{Lp}(\mathbb{R})$ を超えて内因的モデルにおけるスケール理論をハイブリッド・マウスに拡張すること。
• $\mathbb{R}$ に整列順序がないことによる、$\mathbb{R}$ 上の $\Sigma$-プレマウスを定義する際の基礎的問題を解決すること。
• $\Theta$-g-組織化された $\Omega$-プレマウスと自己スケール化パラメータ $\Upsilon$ を用いて、$\ mathrm{Lp}^{{}^{\mathrm{G}}}Ω(\mathbb{R},\Upsilon)$ におけるスケール構成のフレームワークを構築すること。
• コア・モデル誘導を用いて、$\ mathsf{AD}^{+} + \Theta > \Theta_0$ のようなモデルの構成に至る、より強い一貫性強度の結果を得るための基盤を提供すること。
• 特にスーパー・スモール・マウス捕獲と Wadge 同型性を介して、コア・モデル誘導の文脈でスケール存在定理を適用できる条件を確立すること。

提案手法

• Well-ordering が存在しないにもかかわらず、$\ mathbb{R}$ 上のマウスの階層を可能にするために、Sargsyan の再組織化された hod プレマウスの変種として、$\Theta$-g-組織化された $\Omega$-プレマウスを導入すること。
• $\Upsilon = \Omega\mathord{\upharpoonright}\mathrm{HC}$ が自己スケール化であると仮定し、$\ mathrm{Lp}^{{}^{\mathrm{G}}}Ω(\mathbb{R},\Upsilon)$ を、$\ mathbb{R}$ に投影する、音声的かつ可算反復可能な $\Theta$-g-組織化された $\Omega$-プレマウスのスタックとして定義すること。
• Steel の研究に類似した三段階フレームワークを採用する：(1) $\mathcal{J}(\mathcal{M}) \models \mathsf{AD}$ のとき、(2) $\mathcal{M}$ が弱ギャップの終わりに位置するとき、(3) $\mathcal{M}$ がこのようなモデルの極限であるとき。
• 最適な決定性仮説とスーパー・スモール・マウス捕獲を用いて、各ケースにおけるスケール存在を保証する。特に、$\Upsilon^\mathrm{cd}$ が太文字 $\mathsf{AD}$-点クラスと Wadge 同型であることを活用する。
• 初期段階 $\mathrm{Lp}^{{}^{\mathrm{G}}}Ω(\mathbb{R},\Upsilon)$ において仮定が満たされることを確認することで、コア・モデル誘導にスケール存在定理を適用する。特に $\Omega$ が非常に良い性質を持つ場合を想定する。
• $\mathfrak{P}(\mathbb{R}) \cap \mathcal{J}(\mathcal{N}) \subseteq \mathfrak{P}(\mathbb{R}) \cap \mathcal{J}(\mathrm{HC}, \Upsilon)$ を示すことにより、関連する $\mathcal{N}$ に対して $\mathcal{J}(\mathcal{N}) \models \mathsf{AD}$ が成り立つことを示す。これは Wadge 同型性と $\mathcal{J}(\mathcal{N})$ 内の射影的集合の構造に起因する。

実験結果

リサーチクエスチョン

• RQ1 整列順序を持たない $\mathbb{R}$ 上のハイブリッド・マウスに、$L(\mathbb{R})$ および $\mathrm{Lp}(\mathbb{R})$ におけるスケール理論をどのように拡張できるか。
• RQ2 $\mathbb{R}$ 上に一貫したマウスの階層を定義するために必要な $\Omega$-プレマウスの構造的性質は何か。また、$\Theta$-g-組織化は、整列順序の欠如をどのように克服するのか。
• RQ3 $\mathrm{Lp}^{{}^{\mathrm{G}}}Ω(\mathbb{R},\Upsilon)$ がスケールを持つための条件は何か。また、最適な決定性仮説からどのようにこれを確立できるか。
• RQ4 $\mathrm{Lp}^{{}^{\mathrm{G}}}Ω(\mathbb{R},\Upsilon)$ におけるスケール存在が、$\mathsf{AD}^{+} + \Theta > \Theta_0$ のようなモデルの構成を可能にするコア・モデル誘導にどのように寄与するか。
• RQ5 $\Upsilon^\mathrm{cd}$ が太文字 $\mathsf{AD}$-点クラスと Wadge 同型であることは、関連する初期段階 $\mathcal{N}$ に対して $\mathcal{J}(\mathcal{N}) \models \mathsf{AD}$ が成り立つために果たす役割は何か。

主な発見

• 本稿は、最適な決定性仮説の下で、$\mathrm{Lp}^{{}^{\mathrm{G}}}Ω(\mathbb{R},\Upsilon)$ における体系的なスケール存在定理を確立し、$L(\mathbb{R})$ および $\mathrm{Lp}(\mathbb{R})$ における Steel の結果を一般化した。
• スケールの構成は三つのケースに分けられる：(1) $\mathcal{J}(\mathcal{M}) \models \mathsf{AD}$ のとき、(2) $\mathcal{M}$ が弱ギャップの終わりに位置するとき、(3) $\mathcal{M}$ がこのようなモデルの極限であるとき。それぞれのスケール構成は、定理 5.17, 5.22, 5.26 が対応する。
• 任意の $\mathcal{N} \triangleleft \mathrm{Lp}^{{}^{\mathrm{G}}}Ω(\mathbb{R},\Upsilon)$ が弱ギャップの終わりに位置する場合、$\Omega$ が非常に良い性質を持ち、$\Upsilon^\mathrm{cd}$ がすべての太文字 $\mathsf{AD}$-点クラスと Wadge 同型である限り、$\mathcal{J}(\mathcal{N}) \models \mathsf{AD}$ が成り立つことが示された。
• 仮定として $\Upsilon$ が自己スケール化であり、$\Omega$ が非常に良い性質を持つ場合、$\mathfrak{P}(\mathbb{R}) \cap \mathcal{J}(\mathcal{N}) \subseteq \mathfrak{P}(\mathbb{R}) \cap \mathcal{J}(\mathrm{HC}, \Upsilon)$ が成り立つ。これは $\mathcal{J}(\mathcal{N}) \models \mathsf{AD}$ を示唆する。
• スケール存在定理はコア・モデル誘導に応用され、最適な決定性とスーパー・スモール・マウス捕獲の下で、$\mathrm{Lp}^{{}^{\mathrm{G}}}Ω(\mathbb{R},\Upsilon)$ 全体にわたりスケール解析が成立することが示された。
• フレームワークにより、$\Omega$ が適切に相対化できる場合、$\mathrm{Lp}^{{}^{\mathrm{G}}}Ω(\mathbb{R},\Upsilon)$ は $\mathfrak{P}(\mathbb{R})$ で $\mathrm{Lp}^{\Omega}(\mathbb{R},\Upsilon)$ と一致し、同じ拡張列を持つことが保証される。