[논문 리뷰] The failure of square at all uncountable cardinals is weaker than a Woodin limit of Woodin cardinals

Douglas Blue, Paul G. Larson외 1명|arXiv (Cornell University)|2026. 02. 13.

Advanced Topology and Set Theory인용 수 0

한 줄 요약

저자들은 최소한의 Nairian 모델에 의한 강제화를 통해 모든 비가산 기수에서 square가 실패하도록 만들고, HOD에서 ω-강하게 측정 가능함을 보여주며, square 실패가 내부 모델 이론의 범위에 있으며 HOD 가설이 ZFC에서 증명될 수 없음을 보여준다.

ABSTRACT

We force the Axiom of Choice over the least initial segment of a Nairian model satisfying ZF. In the forcing extension, square_kappa fails at all uncountable cardinals kappa, and every regular cardinal is omega-strongly measurable in HOD, as witnessed by the omega-club filter. Thus the failure of square everywhere is within the current reach of inner model theory, and the HOD Hypothesis is not provable in ZFC.

연구 동기 및 목표

• 비가산 기수 전체에서 square 원리의 실패를 동기 부여하고 연구한다.
• 이러한 실패가 최소한의 Nairian 모델에서 구축된 ZFC 확장으로 달성될 수 있음을 보인다.
• HOD, 결정성, 및 큰 기수의 강도에 대한 결과를 조사한다.
• square 실패, PFA, 그리고 Woodin 기수 구성 간의 관계를 명확히 한다.

제안 방법

• Nairian 이론 NT_base를 도입하고 동형적이며 가산 닫힌 반복(iteration)을 통해 그 모델들에 대해 선택공리(Axiom of Choice)를 강제한다.
• 최소한의 Nairian 모델의 P_max 확장에 대해 강제하고, 전체 지원(full-support) 반복으로 많은 기수의 멱집합을 제어하기 위해 부분순서의 전체 지원 반복을 수행한다.
• Section 7 결과를 통해 DC_kappa를 가능하게 하는 반영 원리(ref)를 증명한다.
• ZFC 확장에서 cf(γ)>ω1인 모든 γ에 대해 square(γ)가 실패함을 보인다.
• 모든 규칙적 기수는 HOD에서 ω-강한 측정 가능성이 되며, 이는 ω-클럽 필터로 증명된다.

실험 결과

연구 질문

• RQ1 최소한의 Nairian 모델에서 구축된 ZFC 확장에서 모든 비가산 기수에서 square가 실패할 수 있는가?
• RQ2 이러한 square 실패가 HOD 및 결정성 관련 내부 모델 이론에 미치는 영향은 무엇인가?
• RQ3 이러한 square 실패가 더 강한 큰 기수 구성을 강제하거나 PFA의 강도를 ZFC와 분리시키는가?
• RQ4 이러한 구성 하에서 HOD 가설이 ZFC로부터 증명되는가, 아니면 더 강한 가설이 필요한가?

주요 결과

• ZFC가 성립하는 최소한의 Nairian 모델의 강제가 존재하고, cofinality가 > ω1인 모든 서수 γ에 대해 square(γ)가 실패한다.
• 이 확장에서 모든 규칙적 기수는 HOD에서 ω-강한 측정 가능성이 있으며, 이는 ω-클럽 필터로 입증된다.
• Corollary: 이론 ZFC + ‘square(γ) fails for all γ with cf(γ)>ω1’은 ZFC + ‘There is a Woodin limit of Woodin cardinals.’보다 일관성 강도가 엄격히 약하다.
• Corollary: HOD 가설은 ZFC에서 증명될 수 없다.
• Nairian 모델의 ω2 및 Suslin-cardinal 구조는 강한 큰 기수 특징을 보이며, 예를 들어 ω2가 Nairian 프레임워크에서 서수에 대해 초소수성(supercompact)이다.