[논문 리뷰] The covering lemma up to a Woodin cardinal

William J. Mitchell, Ernest Schimmerling외 1명|arXiv (Cornell University)|1997. 02. 18.

Advanced Topology and Set Theory참고 문헌 6인용 수 5

한 줄 요약

이 논문은 내부 모델에 웅디너 카디널이 없고 모든 집합이 샤프를 갖는다는 가정 하에, 웅디너 카디널까지의 커버링 보조정리(covering lemma)를 확립한다. 이는 가산적으로 닫혀 있는 카디널 κ와 κ < α < κ⁺ 인 핵심 모델 K의 승수 카디널 α에 대해, α의 코 finality가 정확히 κ임을 보여주며, 이는 K가 가산적으로 닫힌 특수 카디널의 승수를 정확히 계산한다는 것을 의미한다.

ABSTRACT

A cardinal kappa is countably closed if mu^omega &lt; kappa whenever mu &lt; kappa. Assume that there is no inner model with a Woodin cardinal and that every set has a sharp. Let K be the core model. Assume that kappa is a countably closed cardinal and that alpha is a successor cardinal of K with kappa &lt; alpha &lt; kappa^+. Then cf( alpha ) = kappa. In particular, K computes successors of countably closed singular cardinals correctly. (The hypothesis of countable closure is not required; see "Weak covering without countable closure", W. J. Mitchell and E. Schimmerling, Math. Res. Lett., Vol. 2, No. 5, Sept. 1995.)

연구 동기 및 목표

• 웅디너 카디널의 맥락에서 커버링 보조정리를 확립하여 내부 모델 이론을 특수 카디널으로 확장한다.
• 웅디너 카디널을 포함한 내부 모델이 존재하지 않을 경우 핵심 모델 K의 구조를 조사한다.
• 카디널이 가산적으로 닫혀 있을 경우 핵심 모델 내의 승수 카디널의 코 finality를 분석한다.
• 가산 닫힘 조건 하에 핵심 모델이 특수 카디널의 승수를 정확히 계산하는지 확인한다.
• 대규모 카디널과 결정성의 후속 분석을 뒷받침하는 내부 모델 이론의 기초 결과를 제공한다.

제안 방법

• 웅디너 카디널을 포함한 내부 모델이 존재하지 않는다는 가정 하에 핵심 모델 K의 존재를 가정한다.
• 모든 집합에 대해 샤프가 존재한다는 것을 활용하여, 정규 내부 모델의 존재를 보장한다.
• 가산 닫힘의 개념을 적용한다: 카디널 κ가 가산적으로 닫혀 있다는 것은 모든 μ < κ에 대해 μ^ω < κ임을 의미한다.
• K의 승수 카디널 α 중 κ < α < κ⁺ 인 경우에 대해 그 코 finality를 분석한다.
• 내부 모델 이론의 정밀 구조와 반복 가능성 기법을 사용하여 K의 구조를 분석한다.
• 커버링 보조정리 프레임워크를 적용하여 cf(α) = κ임을 보이며, 이는 K가 승수를 정확히 계산한다는 것을 의미한다.

실험 결과

연구 질문

• RQ1 핵심 모델 K가 특수 카디널의 승수를 어떤 조건에서 정확히 계산하는가?
• RQ2 웅디너 카디널의 존재가 커버링 보조정리의 타당성에 어떤 영향을 미치는가?
• RQ3 카디널이 가산적으로 닫혀 있을 경우 핵심 모델 내의 승수 카디널의 코 finality는 무엇인가?
• RQ4 가산 닫힘 조건 없이 커버링 보조정리를 특수 카디널으로 확장할 수 있는가?
• RQ5 모든 집합에 대해 샤프의 존재가 핵심 모델의 구성과 정확성에 어떤 역할을 하는가?

주요 결과

• 가산적으로 닫힌 카디널 κ와 핵심 모델 K의 승수 카디널 α에 대해 κ < α < κ⁺ 라면, α의 코 finality는 정확히 κ이다.
• 주어진 가정 하에 핵심 모델 K는 가산적으로 닫힌 특수 카디널의 승수를 정확히 계산한다.
• 후속 연구에서 미첼과 샤이머링이 보여주듯이, 이 결과에 대해 가산 닫힘 조건이 필수적인 것은 아님을 입증하였다.
• 웅디너 카디널을 포함한 내부 모델이 존재하지 않을 경우, 커버링 보조정리의 강건성을 뒷받침한다.
• 이 프레임워크는 핵심 모델 K가 특수 카디널 맥락에서 유니버스 V에 얼마나 가까운지를 확인한다.
• 이 분석은 웅디너 카디널 아래에서 유니버스의 구조를 이해하는 데 핵심적인 단계를 제공한다.