[논문 리뷰] Some results on large cardinals and the continuum function

Brent Cody|arXiv (Cornell University)|2012. 09. 05.

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

한 줄 요약

이 논문은 월딘 기수를 유지하면서 정칙 기수들 아래에서 임의의 연속체 함수 행동을 실현하는 포스팅 확장들을 수립한다. 이는 이스트온 함수를 사용하여 이루어지며, 슈퍼콤팩트 기수에서 GCH의 실패를 포스팅하는 것은 원래 기수의 대안적 대량 기수 강도를 필요로 함을 증명한다. 이는 λ-스케일러콤팩트성과 λ에서 GCH 실패의 존재성, 그리고 λ-스케일러콤팩트성과 λ++-타일드니스의 존재성 간의 등가일관성(동치 일관성)을 증명한다.

ABSTRACT

Given a Woodin cardinal $δ$, I show that if $F$ is any Easton function with $F"δ\subseteqδ$ and $\GCH$ holds, then there is a cofinality-preserving forcing extension in which $2^γ= F(γ)$ for each regular cardinal $γ

연구 동기 및 목표

• 메이저블 기수에 대한 레빈스키의 결과를 월딘 기수와 부분적으로 슈퍼콤팩트 기수를 포함한 더 넓은 대량 기수 맥락으로 확장하기 위해.
• 정칙 기수들에서 연속체 함수의 특정 행동을 포스팅하면서 대량 기수 성질을 유지하기 위해 필요한 일관성 강도를 조사하기 위해.
• 큰 기수에서 GCH의 실패를 포스팅하는 데 원래 기수의 대량 기수 강도를 초월하는 강도가 필요한지 여부를 판단하기 위해.
• 이스트온의 정리를 월딘 기수 아래의 정칙 기수들에서 연속체 함수 행동을 임의로 실현하면서 대량 기수를 유지하는 데 일반화하기 위해.
• 포스팅, 연속체 함수, 그리고 슈퍼콤팩트성과 타일드니스와 같은 강력한 대량 기수 성질의 유지 간의 상호작용을 탐색하기 위해.

제안 방법

• 월딘 기수 δ 아래에서 연속체 함수를 제어하기 위해 코finality를 유지하는 포스팅 확장들을 사용한다.
• 모든 정칙 γ < δ에 대해 F(γ) = 2^γ를 만족시키며, F"δ ⊆ δ를 만족하는 이스트온 함수 F를 적용한다.
• 각 정칙 γ < δ에 대해 2^γ를 조정하면서 δ의 월딘 성질을 유지하는 포스팅 기법을 활용한다.
• GCH가 λ에서 실패한다고 가정할 때, κ가 λ-스케일러콤팩트이자 λ++-타일드인 포스팅 확장을 구성함으로써 새로운 등가일관성 결과를 도입한다.
• 메이저블 기수에 대한 레빈스키의 방법을 월딘 기수와 부분적으로 슈퍼콤팩트 기수를 포함한 다른 대량 기수 개념으로 적응 및 일반화한다.
• 포스팅, 대량 기수 임bedding, 그리고 멱집합 함수의 구조 간의 상호작용을 활용하여 원하는 대량 기수 성질을 유지한다.

실험 결과

연구 질문

• RQ1 월딘 기수 δ 아래의 정칙 기수들에서 연속체 함수가 임의의 값을 취하도록 포스팅하면서 δ의 월딘 성질을 유지할 수 있는가?
• RQ2 슈퍼콤팩트 기수에서 GCH의 실패를 포스팅하면서 그 슈퍼콤팩트성과 유지하기 위해 필요한 일관성 강도는 무엇인가?
• RQ3 레빈스키의 메이저블 기수에 대한 결과는 다른 대량 기수 개념으로 얼마나 일반화될 수 있는가?
• RQ4 정칙 기수에서 GCH 실패를 포스팅하면서 슈퍼콤팩트성을 유지하기 위한 일관성 강도를 특징짓는 대량 기수 개념이 존재하는가?
• RQ5 주어진 대량 기수 성질을 유지하면서 주어진 연속체 함수 행동을 실현하기 위해 필요한 최소한의 대량 기수 가정은 무엇인가?

주요 결과

• 모든 월딘 기수 δ와 F"δ ⊆ δ를 만족하는 이스트온 함수 F에 대해, 모든 정칙 γ < δ에 대해 2^γ = F(γ)이고 δ가 여전히 월딘인 코finality를 유지하는 포스팅 확장이 존재한다.
• GCH가 λ에서 실패하는 λ-스케일러콤팩트 기수 κ의 존재성은, κ가 λ-스케일러콤팩트이자 λ++-타일드인 κ의 존재성과 등가일관성(동치 일관성)이다.
• 레빈스키의 메이저블 기수에 대한 결과는 월딘 기수와 다른 대량 기수 맥락으로 일반화될 수 있으며, GCH가 성립하는 최소 정칙 기수 κ로서 그 기수 성질을 유지하면서도 κ가 그 성질을 유지할 수 있음을 보여준다.
• 큰 기수 아래의 정칙 기수들에서 연속체 함수의 특정 행동을 포스팅하는 데는 원래 기수의 대량 기수 강도를 초월하는 강도가 필요할 수 있으며, 이는 슈퍼콤팩트 경우에서 확인되었다.
• 논문은 월딘 기수 δ 아래에서 임의의 이스트온 함수 F를 실현하면서 δ의 월딘 성질을 유지하는 포스팅 확장을 구성함으로써, 이러한 포스팅 기법의 강건성을 확인한다.
• 결과들은 포스팅과 대량 기수 간의 상호작용이 이전에 이해된 것보다 더 미묘함을 보여주며, 특히 연속체 함수 제어의 맥락에서 그러하다.