[논문 리뷰] A class of strong diamond principles

Joel David Hamkins|ArXiv.org|2002. 11. 26.

Advanced Topology and Set TheoryMathematics참고 문헌 10인용 수 20

한 줄 요약

이 논문은 초기하성, 약한 컴팩트성, 편평한 카디널과 같은 더 약한 대규모 카디널 개념으로 일반화된 고전적 다이아몬드 원리 $\Diamond_\kappa$를 강화한 원리인 라버 다이아몬드 원리—즉, 임bedding을 통해 임의의 집합을 실현할 수 있는 라버 함수를 허용하는 원리—를 소개하고 연구한다. 이러한 원리들이 대규모 카디널 성질과 독립적으로 참이거나 거짓이 될 수 있음을 입증함으로써, 새로운 조합적 특성화와 포스팅 가능성의 가능성을 제시한다.

ABSTRACT

In the context of large cardinals, the classical diamond principle Diamond_kappa is easily strengthened in natural ways. When kappa is a measurable cardinal, for example, one might ask that a Diamond_kappa sequence anticipate every subset of kappa not merely on a stationary set, but on a set of normal measure one. This is equivalent to the existence of a function l:kappa-->V_kappa such that for any A in H(kappa+) there is an embedding j:V-->M having critical point kappa with j(l)(kappa)=A. This and similar principles formulated for many other large cardinal notions, including weakly compact, indescribable, unfoldable, Ramsey, strongly unfoldable and strongly compact cardinals, are best conceived as an expression of the Laver function concept from supercompact cardinals for these weaker large cardinal notions. The resulting Laver diamond principles can hold or fail in a variety of interesting ways.

연구 동기 및 목표

• 초기하성 카디널에 대해 정의된 라버 함수 개념을, 가측성, 약한 컴팩트성, 편평한 카디널과 같은 더 약한 대규모 카디널 개념으로 일반화하기.
• 다이아몬드 원리 $\Diamond_\kappa$를 강화하는 새로운 강력한 다이아몬드 원리 $\mathop{\hbox{\textasciitilde}}^{\star}_{\kappa}$를 제안하고 분석하기. 이 원리는 측도 1인 집합에서 부분집합을 예측하거나 초등적 임베딩을 통해 예측하도록 요구한다.
• 이러한 라버 다이아몬드 원리가 고전적 다이아몬드 원리와 상호 간에 일관성과 독립성을 가지는지, 특히 포스팅 확장에서 어떻게 작용하는지 조사하기.
• 특히 가측성 및 $\theta$-초기하성 카디널의 맥락에서, 대규모 카디널 성질을 유지하면서도 이러한 원리가 포스팅을 통해 실패하도록 만들 수 있는지 확인하기.
• 약한 컴팩트성 카디널의 경우, 라버 다이아몬드 원리와 $\Diamond_\kappa(\text{Reg})$ 사이의 논리적 관계를 명확히 하기.

제안 방법

• 가측성 카디널에 대해 라버 다이아몬드 원리 $\mathop{\hbox{\textasciitilde}}^{\text{meas}}_{\kappa}$를 정의한다. 이는 함수 $\ell: \kappa \to V_\kappa$의 존재를 의미하며, 모든 $A \in H(\kappa^+)$에 대해 임베딩 $j: V \to M$이 존재하여 $\kappa$의 임베딩의 임계점이면서 $j(\ell)(\kappa) = A$가 되도록 한다.
• 약한 컴팩트성, 기술 불가능성, 편평성, 람버, 강력한 편평성, 강력한 초기하성 등 다른 대규모 카디널에 대해 이 틀을 확장한다. 각 카디널의 특성적 초등적 우르파워 또는 임베딩 성질에 맞게 임베딩 기반의 예측 조건을 적응시킨다.
• 부분 함수 $\ell \upharpoonright \gamma$의 재귀적 구성 방법을 사용하여 라버 함수를 구축한다. 각 단계 $\gamma$에서 $\ell(\gamma)$의 값을 선택함으로써, 향후 임베딩 실현 가능성의 잠재력을 유지하도록 한다.
• 클래스 포스팅 및 대규모 카디널을 유지하는 포스팅 확장을 사용하여, $\mathop{\hbox{\textasciitilde}}^{\star}_{\kappa}$가 대규모 카디널 성질을 유지하면서도 실패할 수 있음을 보여준다.
• Hauser (1992)와 Dzamonja–Hamkins의 결과를 활용하여, 약한 컴팩트성 또는 $\Pi^m_n$-기술 불가능 카디널을 유지하면서 $\neg\Diamond_\kappa(\text{Reg})$를 포스팅할 수 있음을 보이며, 이는 라버 다이아몬드 원리가 이러한 모델에서 실패할 수 있음을 시사한다.
• 모델 이론적 및 포스팅적 추론을 통해, $\mathop{\hbox{\textasciitilde}}^{\star}_{\kappa}$와 $\Diamond_\kappa(\text{Reg})$ 사이의 관계를 분석하고, 특히 약한 컴팩트성 카디널의 맥락에서 등가성 또는 분리 여부를 평가한다.

실험 결과

연구 질문

• RQ1 약한 컴팩트성 카디널일 때, 라버 다이아몬드 원리 $\mathop{\hbox{\textasciitilde}}^{\text{wc}}_{\kappa}$는 $\Diamond_\kappa(\text{Reg})$와 동치인가?
• RQ2 클래스 포스팅보다 덜 파괴적인 포스팅을 사용하여, $\mathop{\hbox{\textasciitilde}}^{\text{meas}}_{\kappa}$의 실패를 포스팅하면서도 $\kappa$의 가측성 성질을 유지할 수 있는가?
• RQ3 $\kappa$가 $\theta$-초기하성이며 $\kappa < \theta$이지만 $\mathop{\hbox{\textasciitilde}}^{\theta\text{-sc}}_{\kappa}$가 실패할 수 있는 상대 일관성이 존재하는가?
• RQ4 $P_\kappa\theta$ 위의 정상적인 미세 측도의 수를 $2^\theta$ 미만으로 제한하면서도 $\theta$-초기하성 성질을 유지할 수 있는가? 이 경우 $\theta$-초기하성 라버 다이아몬드 원리의 실패를 암시할 수 있는가?
• RQ5 강력한 편평성 및 람버 카디널에 대한 라버 다이아몬드 원리 역시, 대규모 카디널 성질을 유지하면서도 포스팅을 통해 독립적으로 실패할 수 있는가?

주요 결과

• 가측성 카디널의 경우, 라버 다이아몬드 원리 $\mathop{\hbox{\textasciitilde}}^{\text{meas}}_{\kappa}$는 모든 $A \in H(\kappa^+)$에 대해 초등적 임베딩 $j: V \to M$이 존재하여 $j(\ell)(\kappa) = A$가 되는 함수 $\ell: \kappa \to V_\kappa$의 존재와 동치이다.
• 고전적 다이아몬드 원리 $\Diamond_\kappa(\text{Reg})$는 가측성 카디널에서 반드시 참이지만, $\mathop{\hbox{\textasciitilde}}^{\text{meas}}_{\kappa}$는 실패할 수 있으며, 이는 라버 다이아몬드 원리가 가측성 맥락에서 $\Diamond_\kappa(\text{Reg})$보다 엄밀히 더 강력하다는 것을 보여준다.
• Hauser의 결과를 활용하면, $\kappa$가 약한 컴팩트성이지만 $\mathop{\hbox{\textasciitilde}}^{\text{wc}}_{\kappa}$가 실패할 수 있는 상대 일관성이 존재한다. 왜냐하면 $\neg\Diamond_\kappa(\text{Reg})$는 약한 컴팩트성의 유지와 함께 포스팅될 수 있기 때문이다.
• 강력한 편평성 카디널의 경우, Dzamonja와 Hamkins는 $\mathop{\hbox{\textasciitilde}}^{\text{sunf}}_{\kappa}$가 대규모 카디널 성질을 유지하는 포스팅 확장에서 실패할 수 있음을 보였다.
• 대규모 카디널의 존재만으로는 라버 함수의 존재를 보장하지 못하며, 이는 카디널의 존재와 별개로 참이거나 거짓일 수 있는 새로운 조합적 원리이다.
• $\theta$-초기하성 카디널 $\kappa$에 대해 $\mathop{\hbox{\textasciitilde}}^{\theta\text{-sc}}_{\kappa}$의 실패는 $P_\kappa\theta$ 위의 정상적인 미세 측도의 수가 $2^\theta$ 미만일 경우에 암시된다. 이는 특정 포스팅 조건 하에서 일관된 가능성이다.