[論文レビュー] Measures in Mice

Farmer Schlutzenberg|arXiv (Cornell University)|Jan 20, 2013

Advanced Topology and Set Theory参考文献 17被引用数 18

ひとこと要約

この論文は、超強い基数未満のマウスにおける構造的解析を用いて、1つの可測基数のための内モデルにおけるクーネンの結果を、超強い基数未満のマウスへ一般化する。特定のテイムマウスが $V = \mathsf{HOD}$ を満たすことを示す。$M_n$（$n$ 個のウードリン基数を持つ内モデル）について、$V = \mathsf{HOD}$ が成り立つ新たな証明を提供し、$M_n$ 内のすべての均一にスーリンな実数の集合が $\mathbf{\Delta}^1_{n+1}$ であることを確立する。

ABSTRACT

This thesis analyses extenders in fine structural mice. Kunen showed that in the inner model for one measurable cardinal, there is a unique measure. This result is generalized, in various ways, to mice below a superstrong cardinal. The analysis is then used to show that certain tame mice satisfy $V=\mathsf{HOD}$. In particular, the approach proides a new proof of this result for the inner model $M_n$ for $n$ Woodin cardinals. It is also shown that in $M_n$, all homogeneously Suslin sets of reals are $\mathbf{\Delta}^1_{n+1}$.

研究の動機と目的

• 1つの可測基数のための内モデルにおけるクーネンの測度一意性の結果を、超強い基数未満のマウスへ拡張すること。
• 細密構造的マウスにおける拡張子の構造を分析し、テイムマウスにおける $V = \mathsf{HOD}$ の性質を確立すること。
• $n$ 個のウードリン基数を持つ内モデル $M_n$ において $V = \mathsf{HOD}$ が成り立つ新たな証明を提供すること。
• 内モデル $M_n$ 内の均一にスーリンな実数の集合の複雑さを特定すること、特に $\mathbf{\Delta}^1_{n+1}$ への分類を示すこと。

提案手法

• 超強い基数未満の細密構造的マウスにおける拡張子の分析を、内モデル理論的技術を用いて行う。
• マウスの構造的性質を応用し、クーネンの測度に関する一意性結果をより広いクラスのモデルへ一般化する。
• 細密構造理論を用いて、$M_n$ 内の集合の定義可能性および閉包性の性質を検討する。
• 均一にスーリンな集合を用いて、$M_n$ 内の決定性と複雑さを分析し、$\mathbf{\Delta}^1_{n+1}$-定義可能性と結びつける。
• 拡張子と定義可能な部分集合の間の相互作用を分析することで、テイムマウスにおける $V = \mathsf{HOD}$ を確立する。
• 既知の $M_n$ に関する結果を応用し、測度論的および構造的議論を通じて、実数の集合の複雑さの上限を導出する。

実験結果

リサーチクエスチョン

• RQ1 クーネンの測度一意性の結果は、1つの可測基数のための内モデルから、超強い基数未満のマウスへ一般化可能か？
• RQ2 どのような条件下でテイムマウスは $V = \mathsf{HOD}$ を満たし、どのような構造的特徴がこれを可能にするか？
• RQ3 $n$ 個のウードリン基数を持つ内モデル $M_n$ 内の均一にスーリンな実数の集合の正確な複雑さは何か？
• RQ4 細密構造的マウスにおける拡張子の分析は、$M_n$ における $V = \mathsf{HOD}$ の証明にどのように寄与するか？
• RQ5 拡張子の構造と $M_n$ 内の実数の集合の定義可能性の間にはどのような関係があるか？

主な発見

• 特定のテイムマウスにおいて $V = \mathsf{HOD}$ が成り立つことが確立され、内モデル理論における既知の結果が一般化された。
• 拡張子の分析に基づき、$n$ 個のウードリン基数を持つ内モデル $M_n$ において $V = \mathsf{HOD}$ が成り立つ新たな証明が提供された。
• $M_n$ 内のすべての均一にスーリンな実数の集合が $\mathbf{\Delta}^1_{n+1}$ であることが示され、定義可能性の複雑さが精緻化された。
• 分析により、超強い基数未満の細密構造的マウスにおける拡張子が、特定の条件下で一意な測度を支持することが確認された。
• マウスの構造的性質により、定義可能性と測度の一意性の均一な取り扱いが可能となり、クーネンの元来の枠組みが拡張された。
• 拡張子の構造と定義可能性の相互作用が、$V = \mathsf{HOD}$ といった強いグローバルな結果を生み出すことが示された。