[논문 리뷰] A Framework for Forcing Constructions at Successors of Singular Cardinals

James Cummings, Mirna Džamonja외 3명|arXiv (Cornell University)|2014. 03. 26.

Advanced Topology and Set Theory참고 문헌 9인용 수 2

한 줄 요약

이 논문은 특이 기수 κ(비가산 코finality를 가짐)에서 단일 기수 가설(SCH)이 성립하지 않도록 하되, 동시에 κ⁺가 작은 보편 그래프 가족을 지닐 수 있도록 하는 새로운 강제 프레임워크를 개발한다. 반복 강제법과 Radin 강제법, 다이아몬드 수열을 사용하여, 초초월 기수에 대한 상대적 일致성(강력한 초초월 기수에 대한 상대적 일치성)을 입증한다. 이는 2κ = 2κ⁺ = Θ 이며, Θ의 코finality가 ≥κ⁺⁺일 때에도 κ⁺에서 크기가 κ⁺⁺인 보편 그래프 가족의 존재를 가능하게 한다.

ABSTRACT

We describe a framework for proving consistency results about singular cardinals of arbitrary cofinality and their successors. This framework allows the construction of models in which the Singular Cardinals Hypothesis fails at a singular cardinal of uncountable cofinality, while its successor enjoys various combinatorial properties. As a sample application, we prove the consistency (relative to that of ZFC plus a supercompact cardinal) of there being a strong limit singular cardinal $κ$ of uncountable cofinality where SCH fails and for which there is a collection of graphs on $κ^+$ whose size is less than $2^κ$ and such that any graph on $κ^+$ embeds into one of the graphs in the collection.

연구 동기 및 목표

• 비가산 코finality를 가진 특이 기수의 승수에서 반복 강제법 구축을 위한 일반적 프레임워크를 개발하는 것.
• κ가 특이일 경우 표준 강제 반복의 한계, 특히 κ⁺-체인 조건의 붕괴를 극복하는 것.
• 2κ > κ⁺일 경우, GCH와 불일치하는 상황에서도 κ⁺에서 작은 보편 그래프 가족의 존재를 달성하는 것.
• 이전의 Prikry 강제법에 기반한 보편 그래프 결과를 Radin 강제법으로 확장하는 것. 이는 동질성이 없고 유계 부분집합을 추가하기 때문이다.
• 비가산 코finality를 가진 특이 강력한 한계 기수 κ에서 SCH의 실패와 함께 대규모 기수의 구조를 유지하는 일치성의 확립

제안 방법

• κ⁺-정지 체인 조건의 강력한 형태를 만족하는 강제법의 <κ-지지 반복을 사용하는 새로운 반복 프레임워크 도입.
• 복잡한 반복 체계를 대체하기 위해, κ⁺의 부분집합에 대한 이름의 구성 제어를 위해 다이아몬드 수열을 활용.
• Radin 이름을 사용하는 장기 Mathias 강제법의 변종을 사용하여 κ⁺의 최종 구조를 제어.
• Radin 강제법과 그 변종에 특화된, 반복에 의한 κ⁺-정지 체인 조건의 유지 정리 개발.
• Radin 강제법을 적용하여 초초월 기수 κ의 코finality를 비가산 정규 λ < κ로 변경하면서도 기수를 유지.
• 초초월 기수 반복과 Radin 확장을 결합하여 2κ = 2κ⁺ = Θ이며, Θ의 코finality가 높은 상태를 달성

실험 결과

연구 질문

• RQ1 비가산 코finality를 가진 특이 기수 κ에서 SCH가 실패하고 2κ > κ⁺일 경우, κ⁺에서 크기가 κ⁺⁺인 보편 그래프 가족이 존재할 수 있는가?
• RQ2 Radin 강제법은 동질성이 없고 유계 부분집합을 추가하므로, Prikry 강제법 대신 Radin 강제법을 사용하여 이러한 모델을 구성하는 것이 가능한가?
• RQ3 κ가 특이할 경우 기수를 유지하고 κ⁺-체인 조건을 보장할 수 있는 강제 반복 프레임워크는 무엇인가?
• RQ4 다이아몬드 수열은 κ⁺의 부분집합에 대한 이름을 제어하기 위해 복잡한 반복 체계를 어떻게 대체할 수 있는가?
• RQ5 SCH가 실패할 경우, κ⁺에서 작은 보편 그래프 가족의 존재에 필요한 정확한 일치력 강도는 무엇인가?

주요 결과

• 논문은 비가산 코finality를 가진 강력한 한계 특이 기수 κ에서 SCH가 실패하고 2κ = 2κ⁺ = Θ이며, cf(Θ) ≥κ⁺⁺임을 일치성으로 입증한다.
• κ가 초초월이면서 cf(κ) = λ < κ인 강제 확장에서, κ⁺에서 크기가 κ⁺⁺인 보편 그래프 가족의 존재를 증명한다.
• 이 프레임워크는 κ 이하의 모든 기수, κ 자체, 그리고 κ 이상의 모든 기수를 반복 과정 동안 유지한다.
• 반복 과정에서 체인 조건을 유지하기 위해 필수적인, κ⁺-정지 체인 조건에 대한 새로운 유지 정리가 사용된다.
• 최종 모델은 κ⁺에서의 임의의 그래프가 보편 가족에 속하는 κ⁺⁺개의 그래프 중 하나에 통합될 수 있음을 만족한다.
• SCH의 실패가 특이 기수에서 발생하려면 메이슨드 순서 o(κ) = κ⁺⁺인 가측 기수가 필요하므로, 결과는 일치력 강도 측면에서 최적임이 입증된다.