[논문 리뷰] Well-founded Boolean ultrapowers as large cardinal embeddings

Joel David Hamkins, Daniel Evan Seabold|arXiv (Cornell University)|2012. 06. 26.

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

한 줄 요약

이 논문은 완전 부울 대수 위의 초월수 필터를 통해 구성된 잘 서식된 부울-우르타파워가 대규모 기수 삽입을 유도함을 보이며, 강제법과 대규모 기수를 하나의 부울-우르타파워 구성의 표현으로 통합한다. 핵심 결과는 이러한 삽입이 부울 대수에 의해 강제되는 임의의 문장을 만족하는 추이적 내부 모델을 실현할 수 있다는 것이다. 특히 강력한 콤팩트성 또는 수퍼콤팩트성 조건이 성립할 경우에 해당한다.

ABSTRACT

Boolean ultrapowers extend the classical ultrapower construction to work with ultrafilters on any complete Boolean algebra, rather than only on a power set algebra. When they are well-founded, the associated Boolean ultrapower embeddings exhibit a large cardinal nature, and the Boolean ultrapower construction thereby unifies two central themes of set theory---forcing and large cardinals---by revealing them to be two facets of a single underlying construction, the Boolean ultrapower.

연구 동기 및 목표

• 강제법과 대규모 기수의 기초적인 집합론적 개념을 하나의 구성인 부울-우르타파워로부터 유도함으로써 이 둘을 통합하는 것.
• 부울-우르타파워가 잘 서식되어 있을 조건, 즉 대규모 기수 삽입을 유도할 수 있을 조건을 규명함으로써, 기존의 멱집합 대수를 초월한 고전적 우르타파워 이론을 확장하는 것.
• 부울-우르타파워가 고전적 우르타파워와 일치하거나 알려진 대규모 기수 삽입을 실현할 조건을 특성화하는 것.
• 기본적인 일반화된 객체들—예를 들어 반복 측도에서의 임계 수열—이 부울-우르타파워에서 자연스럽게 유도되는 정도를 탐색하는 것.
• 부울-우르타파워의 더 넓은 범주로 확장될 수 있는 부코브스키-데호르누 현상(반복의 교차 = 강제 확장)이 일반화되는지 여부를 규명하는 것.

제안 방법

• 임의의 완전 부울 대수 위에서 부울 값 모델을 구성하며, 일阶논리 언어의 원자 문장에 부울 값을 할당하고 이를 공식 전반에 걸쳐 재귀적으로 확장한다.
• 완전 부울 대수 위의 초월수 필터를 통해 부울-우르타파워를 정의하며, 호모모르피즘을 통해 부울 대수로의 사상으로부터 시드 이상을 생성한다.
• 잘 서식된 부울-우르타파워에 최소화 정리(Mostowski collapse)를 적용하여, 부울 대수가 강제하는 모든 문장을 만족하는 ZFC의 추이적 내부 모델을 도출한다.
• 부울-우르타파워의 확장자 유사 표현을 사용하여, 부분 함수를 통해 부울 대수 위에서 삽입을 모델링함으로써 고전적 우르타파워 구성의 일반화를 시도한다.
• 부분 순서에 의한 강제법과 해당 부울 대수 간의 관계를 분석하여, 부울-우르타파워 구성이 잘 서식된 모델을 유도할 조건을 명확히 한다.
• 부울-우르타파워 프레임워크 내에서 부분대수, 몫, 곱, 이상을 조사하여 구조적 상호작용과 삽입 성질을 이해한다.

실험 결과

연구 질문

• RQ1 부울-우르타파워가 언제 잘 서식되어 있으며, 언제 대규모 기수 삽입을 유도하는가?
• RQ2 강력한 기수 삽입—예를 들어 반복 정규 측도에서 유도되는 것들—이 부울-우르타파워로 어떻게 실현될 수 있는가?
• RQ3 Prikry 강제법을 초월하여 부울-우르타파워로 일반화될 수 있는 부코브스키-데호르누 현상(전체 반복 = 유한 반복의 교차)은 어떤가?
• RQ4 부울-우르타파워는 고전적 우르타파워와 어떻게 관련되어 있으며, 언제 동치가 되는가?
• RQ5 대규모 기수 삽입의 기본적인 일반화된 객체들(예: 임계 수열)이 부울-우르타파워 구성에서 체계적으로 도출될 수 있는가?

주요 결과

• 잘 서식된 부울-우르타파워는 해당 부울 대수가 강제하는 모든 문장을 만족하는 ZFC의 추이적 내부 모델을 생성하며, 이는 강제 확장 구성의 일반화이다.
• 강제 노선이 $<\kappa$-친화적이고 $\kappa$가 강력 콤팩트일 경우, 부울-우르타파워 구성은 사전에 일반성 조건을 가정하지 않더라도 잘 서식된 모델을 생성하며, 강제 확장을 포괄한다.
• 잘 서식된 부울-우르타파워로부터 유도되는 삽입 $j: V \to \overline{V}$ 는 강제 확장 $V[G]$ 와 동형이며, $\overline{V}$ 는 우르타파워의 Mostowski 최소화이다.
• 가측 기수 $\kappa$ 위의 정규 측도를 사용한 Prikry 강제법에 대해, $\omega$-반복 삽입 $j_\omega: V \to M_\omega$ 는 부울-우르타파워로 실현되며, 오랫동안 제기된 추측을 확인한다.
• 반복 정규 측도의 임계 수열이 해당 부울-우르타파워의 기본적인 일반화된 객체와 정확히 일치함을 보이며, 대규모 기수의 구조와 강제법 사이의 깊은 연결 고리를 입증한다.
• 부울-우르타파워 구성은 확장자 모델 접근법을 일반화하며, 멱집합 대수의 부재에서도 부울 대수와 초월수 필터를 통한 삽입의 통일된 표현을 가능하게 한다.