[論文レビュー] Indiscernible Sequences for Extenders, and the Singular Cardinal Hypothesis

Moti Gitik, William Mitchell|arXiv (Cornell University)|Jul 27, 1995

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

ひとこと要約

この論文は、拡張子から導かれる無差別列を分析することで、特異的極限基数における特異的基数仮説（SCH）の破綻に必要な大基数の強さの下界を確立する。非重複する拡張子の詳細なカバー補題分析を用い、κ が特異的極限基数で 2^κ ≥ λ を満たす（λ が共終性 ≤ κ の基数の後続でない）ならば、o(κ) ≥ λ または特定の高次の反射を持つ基数の集合が κ において共終的である、という二通りの状況が生じることを証明する。

ABSTRACT

We prove several results giving lower bounds for the large cardinal strength of a failure of the singular cardinal hypothesis. The main result is the following theorem: Theorem: Suppose $κ$ is a singular strong limit cardinal and $2^κ>= λ$ where $λ$ is not the successor of a cardinal of cofinality at most $κ$. (i) If $\cofinality(κ)>\gw$ then $o(κ)\geλ$. (ii) If $\cofinality(κ)=\gw$ then either $o(κ)\geλ$ or $\set{\ga:K\sat o(\ga)\ge\ga^{+n}}$ is cofinal in $κ$ for each $n\in\gw$. In order to prove this theorem we give a detailed analysis of the sequences of indiscernibles which come from applying the covering lemma to nonoverlapping sequences of extenders.

研究の動機と目的

• 特異的極限基数 κ における特異的基数仮説（SCH）の破綻に必要な大基数の強さを特定すること。
• λ が共終性 ≤ κ の基数の後続でないとき、2^κ ≥ λ の整合性の強さを調査すること。
• カバー補題を用いた非重複する拡張子の列から生じる無差別列の構造を分析すること。
• ミッチェル順序 o(κ) が少なくとも λ に達するか、または κ において特定の反射性が成立する条件を確立すること。
• cofinality(κ) が SCH の破綻に必要な大基数仮定を決定する上で果たす役割を明確にすること。

提案手法

• 非重複する拡張子の列にカバー補題を適用し、無差別列を抽出する。
• これらの無差別列の構造を用いて、特異的極限基数におけるミッチェル順序 o(κ) を分析する。
• cofinality(κ) に基づく二通りのケースに分けて考察する：非可算共終性と可算共終性（ω）。
• cofinality(κ) > ω の場合、2^κ ≥ λ ならば o(κ) ≥ λ が必須であることを証明する。
• cofinality(κ) = ω の場合、o(κ) ≥ λ であるか、あるいは任意の n ∈ ω に対して集合 {γ < κ : K ⊨ o(γ) ≥ γ^{+n}} が κ において共終的であることを示す。
• モデル理論的および内部モデル論的技法を用いて、拡張子列から反射性および無差別性の性質を導出する。

実験結果

リサーチクエスチョン

• RQ1 特異的極限基数 κ における特異的基数仮説の破綻に必要な最小の大基数の強さは何か？
• RQ2 2^κ ≥ λ のとき、κ の共終性がミッチェル順序 o(κ) に与える影響は何か？
• RQ3 2^κ ≥ λ かつ λ が小さな共終性の基数の後続でないとき、o(κ) ≥ λ を強制する条件は何か？
• RQ4 cofinality(κ) = ω のとき、o(κ) < λ ならば、どのような代替的な反射性が成立する必要があるか？
• RQ5 非重複する拡張子から導かれる無差別列は、SCH の破綻の整合性の強さにどのように制限を加えるか？

主な発見

• κ が共終性(κ) > ω である特異的極限基数であり、2^κ ≥ λ かつ λ が共終性 ≤ κ の基数の後続でないならば、o(κ) ≥ λ が成り立つ。
• cofinality(κ) = ω であり、同じ λ 条件のもとで 2^κ ≥ λ ならば、o(κ) ≥ λ であるか、あるいは任意の n ∈ ω に対して集合 {γ < κ : K ⊨ o(γ) ≥ γ^{+n}} が κ において共終的である。
• 拡張子から得られる無差別列の分析は、SCH の破綻の整合性の強さに対する下界を正確に導出するメカニズムを提供する。
• 非可算共終性の特異的極限基数における SCH の破綻は、κ における少なくとも λ 個のミッチェル順序を必要とする。
• 共終性 ω の特異的基数では、SCH の破綻はミッチェル順序が少なくとも λ でない限り、強い反射性を伴う。
• カバー補題は、拡張子列と無差別構造を結びつけ、大基数の下界を導出する上で中心的な役割を果たす。