[論文レビュー] Mouse Sets

Mitch Rudominer|arXiv (Cornell University)|Jun 18, 1996

Advanced Topology and Set Theory被引用数 5

ひとこと要約

この論文は、記述的集合論と内部モデル理論の間の接続を確立する。具体的には、L(R)のω-最初のレベル上でΣn-定義可能な実数の集合であるOD(n)という特定の定義可能な実数の集合が、マウスと呼ばれる標準的内部モデルの実数と等しいことを証明している。主な貢献は、『マウス集合』と呼ばれる概念の導入であり、これらの定義可能な集合が、まさにこのような標準的モデルの実数と一致することを示している。

ABSTRACT

In this paper we explore a connection between descriptive set theory and inner model theory. From descriptive set theory, we will take a countable, definable set of reals, A. We will then show that A is equal to the reals of M, where M is a canonical model from inner model theory. In technical terms, M is a ''mouse''. Consequently, we say that A is a mouse set. For a concrete example of the type of set A we are working with, let OD(n) be the set of reals which are Sigma-n definable over the omega-first level of the model L(R), from an ordinal parameter. In this paper we will show that for all n, OD(n) is a mouse set. Our work extends some similar results due to D.A. Martin, J.R. Steel, and H. Woodin. Several interesting questions in this area remain open.

研究の動機と目的

• 定義可能な実数の集合を分析することによって、記述的集合論と内部モデル理論の間の接続を確立すること。
• L(R)の文脈、特にω-最初のレベルにおいて定義可能な実数の集合の性質を調査すること。
• このような定義可能な集合が、標準的内部モデル（マウス）の実数と一致することを示し、『マウス集合』という概念を導入すること。
• マーティン、スティール、ウーディンが先行して得た、定義可能な集合と標準的モデルに関する結果を拡張すること。

提案手法

• 実数を含む最小で反復可能な構造として知られる『マウス』と呼ばれる標準的モデルMを分析する内部モデル理論の枠組みを用いる。
• L(R)内の順序数パラメータからの特定の方法による定義可能性に基づいて、実数の集合Aを定義する。
• 特にΣn-定義可能性に注目して、記述的集合論の技術を用いて、実数の集合の複雑さと定義可能性を特徴付ける。
• モデル理論的および細密構造的解析を用いて、L(R)における実数の定義可能性と標準的内部モデルの実数との間の対応関係を確立する。
• OD(n)を定義するための標準的文脈を固定するために、L(R)の『ω-最初のレベル』の概念を用いる。
• 各nに対して、L(R)のω-最初のレベル上でΣn-定義可能な実数の集合OD(n)が、特定のマウスMの実数と等しいことを証明し、OD(n)がマウス集合であることを示す。

実験結果

リサーチクエスチョン

• RQ1 L(R)におけるどの定義可能な実数の集合が、標準的内部モデルの実数として特徴付けられるか？
• RQ2 L(R)のω-最初のレベル上でΣn-定義可能な実数の集合は、どの程度マウスの実数と一致するか？
• RQ3 『マウス集合』という概念を形式的に定義し、既知の定義可能な実数の集合にどのように適用できるか？
• RQ4 記述的集合論における定義可能性の階層と、標準的内部モデルの構造との間の関係は何か？
• RQ5 マーティン、スティール、ウーディンによる定義可能な集合と内部モデルに関する先行研究を、どのように拡張または一般化しているか？

主な発見

• L(R)のω-最初のレベル上でΣn-定義可能な実数の集合OD(n)は、標準的内部モデルMの実数と等しく、OD(n)はマウス集合である。
• この等式はすべての自然数nに対して成り立つため、L(R)における定義可能性とマウスの構造との間の一貫した接続が示された。
• この論文は、標準的内部モデルの実数とちょうど一致する定義可能な実数の集合としての『マウス集合』という新しいクラスを導入した。
• マーティン、スティール、ウーディンの先行研究を拡張し、内部モデル理論の文脈における定義可能な集合を理解するためのより広範な枠組みを提供した。
• 分析により、標準的内部モデルの実数が、L(R)における定義可能性条件、特にω-最初のレベルでの定義可能性によって特徴付けられることを確認した。
• 本研究は、記述的集合論的定義可能性と、特にマウスにおける内部モデルの細密構造との間の基礎的リンクを確立した。