[논문 리뷰] Indiscernible Sequences for Extenders, and the Singular Cardinal Hypothesis

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

Advanced Topology and Set Theory참고 문헌 11인용 수 4

한 줄 요약

이 논문은 확장자에서 유도된 비판별 수열을 분석하여, 단절된 순서수의 카디널 강도에 대한 하한을 설정함으로써, 단절된 순서수 가설(SCH)의 실패에 필요한 대규모 카디널 강도를 규명한다. 비겹치는 확장자들의 세부적인 커버링 렘마 분석을 통해, 만약 단절된 강한 극한 순서수 κ가 2^κ ≥ λ를 만족하고(λ의 순서수의 임계값 ≤ κ인 후계자가 아닐 경우), o(κ) ≥ λ 또는 높은 반복 반사 성질을 갖는 순서수 집합이 κ에서 cofinal이 되는 것으로 나타나며, 이는 임계값(κ)에 따라 달라진다.

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^κ ≥ λ의 일致성 강도를 조사하는 것.
• 커버링 렘마를 통한 비겹치는 확장자 시퀀스에서 유래한 비판별 수열의 구조를 분석하는 것.
• Mitchell 순서 o(κ)가 적어도 λ 이상이거나, κ 내에서 특정 반사 성질이 성립하는 조건을 설정하는 것.
• 임계값(κ)이 SCH 실패에 필요한 대규모 카디널 가정을 결정하는 데서 수행하는 역할을 명확히 하는 것.

제안 방법

• 비겹치는 확장자 시퀀스에 커버링 렘마를 적용하여 비판별 수열을 추출하는 것.
• 이러한 비판별 수열의 구조를 이용해 단절된 강한 극한 순서수에서 Mitchell 순서 o(κ)를 분석하는 것.
• 임계값(κ)에 따라 두 경우로 나누어 고려하는 것: 비가산 임계값과 가산 임계값(ω).
• 임계값(κ) > ω인 경우, 2^κ ≥ λ일 때 o(κ) ≥ λ가 필수적임을 증명하는 것.
• 임계값(κ) = ω인 경우, o(κ) ≥ λ 또는 모든 n ∈ ω에 대해 집합 {γ < κ : K ⊨ o(γ) ≥ γ^{+n}} 가 κ에서 cofinal이 되는 것으로 나타내는 것.
• 모델 이론적 및 내부 모델 이론적 기법을 사용하여 확장자 시퀀스에서 반사성 및 비판별성 성질을 도출하는 것.

실험 결과

연구 질문

• RQ1 단절된 강한 극한 순서수 κ에서 단절된 순서수 가설의 실패에 필요한 최소 대규모 카디널 강도는 무엇인가?
• RQ2 2^κ ≥ λ일 때, κ의 임계값이 o(κ)에 필요한 Mitchell 순서에 어떻게 영향을 미치는가?
• RQ3 2^κ ≥ λ이고 λ가 작은 임계값을 갖는 순서수의 후계자가 아닐 경우, 언제 o(κ) ≥ λ가 강제되는가?
• RQ4 임계값(κ) = ω일 때, o(κ) < λ이면 어떤 대안적 반사 성질이 성립해야 하는가?
• RQ5 비겹치는 확장자에서 유도된 비판별 수열은 SCH 실패의 일치성 강도를 어떻게 제약하는가?

주요 결과

• κ가 임계값(κ) > ω인 단절된 강한 극한 순서수이고, 2^κ ≥ λ이며 λ가 임계값 ≤ κ인 순서수의 후계자가 아닐 경우, o(κ) ≥ λ임이 보장된다.
• 임계값(κ) = ω이고 동일한 λ 조건 하에서 2^κ ≥ λ일 경우, o(κ) ≥ λ 또는 모든 n ∈ ω에 대해 집합 {γ < κ : K ⊨ o(γ) ≥ γ^{+n}} 가 κ에서 cofinal이 되는 것으로 나타난다.
• 확장자에서 유도된 비판별 수열의 분석은 SCH 실패의 일치성 강도에 대한 정확한 하한을 도출하는 데 기여한다.
• 결과적으로, 비가산 임계값을 갖는 단절된 강한 극한 순서수에서의 SCH 실패는 적어도 λ개의 Mitchell 순서가 κ에서 필요하다는 것을 보여준다.
• 임계값이 ω인 단절된 순서수의 경우, SCH 실패는 Mitchell 순서가 적어도 λ 이상이 아니면 강력한 반사 성질이 성립해야 한다.
• 커버링 렘마는 확장자 시퀀스와 비판별 구조를 연결하고, 대규모 카디널 하한을 도출하는 데 핵심적인 역할을 한다.