[논문 리뷰] Universal Indestructibility

Arthur W. Apter, Joel David Hamkins|ArXiv.org|1998. 08. 03.

Advanced Topology and Set TheoryMathematics참고 문헌 4인용 수 21

한 줄 요약

이 논문은 고점수 카디널이 존재하는 가정 하에, <κ-방향 닫힘 강제를 통한 모든 초초월 및 부분 초초월 카디널이 완전히 파괴되지 않도록 하는 집합론적 우주 모델을 수립한다. 이 구성은 라버의 준비에서 유래하는 고유한 간극을 피하는 수정된 강제 반복을 사용함으로써, 이전 방법의 한계를 극복하고 이전에는 불가능했던 보편적 파괴되지 않음 성질을 달성한다.

ABSTRACT

From a suitable large cardinal hypothesis, we provide a model with a supercompact cardinal in which universal indestructibility holds: every supercompact and partially supercompact cardinal kappa is fully indestructible by kappa-directed closed forcing. Such a state of affairs is impossible with two supercompact cardinals or even with a cardinal which is supercompact beyond a measurable cardinal.

연구 동기 및 목표

• 라버의 준비가 부분 초초월 카디널의 파괴되지 않음을 보장하지 못하는 한계를 극복하기 위해.
• 모든 초초월 및 부분 초초월 카디널이 <κ-방향 닫힘 강제에 대해 완전히 파괴되지 않도록 하는 모델을 구성하기 위해.
• 보편적 파괴되지 않음이 고점수 카디널이라는 큰 카디널 개념에 대해 일관되다는 것을 보여주기 위해, 이는 초초월과 거의 초거대 사이의 일관성 강도를 가진다.
• 표준 라버 준비가 간극의 구조로 인해 보편적 파괴되지 않음을 달성할 수 없음을 보여주기 위해, 이는 비초초월 초초월성의 유지에 제한을 둔다.
• 측정 가능 카디널 이하의 간극을 피하는 새로운 강제 반복 전략을 제공하기 위해.

제안 방법

• 역방향 이스트온 반복이 사용되며, 각 단계 γ에서, V_γ 내에서 정의 가능할 경우에만 <γ-방향 닫힘 포지셋을 선택하는 라버 함수에 기반한 강제가 적용된다.
• 반복은 측정 가능 카디널 γ 이하의 어떤 단계에서도 간극을 허용하지 않도록 설계되어, 간극 강제 정리의 적용을 방지한다.
• 강제 이후에 측정 가능 카디널 γ가 파괴되지 않게 되는 것은 그가 기저 모델에서 초초월이었을 경우에만 가능하게 하여, 모든 초초월 카디널의 파괴되지 않음 성질을 유지한다.
• 만약 카디널 γ가 기저 모델에서 초초월이 아니면, 그 초초월성이 반복 과정을 통해 유지될 수 없다는 것을 입증하기 위해 '시험을 통과시키는' 추론이 사용된다.
• 모델 M이 <θ 수열에 대해 닫혀 있는 원소 임베딩 j: V → M을 사용한 러핑 추론을 통해, 만약 ℚ가 λ-초초월성을 파괴한다면, 올린 모델에서 모순이 발생한다는 것을 보여준다.
• 강제 확장 아래에서 j(g) 이하의 마스터 조건을 구성하여 임베딩을 강제 확장으로 끌어올리며, 이는 측정이 후속 단계에서 추가될 수 없음을 보여주고, 따라서 ℚ가 초초월성을 파괴한다는 가정과 모순된다.

실험 결과

연구 질문

• RQ1 초초월 카디널에 대한 보편적 파괴되지 않음 성질이, 부분 초초월 카디널까지도 <κ-방향 닫힘 강제에 대해 완전히 파괴되지 않도록 보장하는 모델에서 달성될 수 있는가?
• RQ2 라버 준비가 비초초월 부분 초초월 카디널의 파괴되지 않음을 유지하지 못하므로, 이러한 준비에 의존하지 않고도 그러한 모델을 구성할 수 있는가?
• RQ3 보편적 파괴되지 않음을 보장하기 위해 필요한 큰 카디널 가정은 무엇인가?
• RQ4 강제 반복 과정에서 간극 강제 정리를 피할 수 있는가? 이를 통해 비초초월 카디널의 파괴되지 않음 성질을 유지할 수 있는가?
• RQ5 보편적 파괴되지 않음은 단일 초초월 카디널과 일관된가, 아니면 다수의 초초월 카디널 또는 더 강력한 가정이 필요한가?

주요 결과

• 모든 초초월 및 부분 초초월 카디널이 <κ-방향 닫힘 강제에 대해 완전히 파괴되지 않도록 하는 보편적 파괴되지 않음 성질은 단일 초초월 카디널이 존재하는 모델에서 달성될 수 있다.
• 고점수 카디널의 존재는 그러한 모델을 구성하는 데 충분하며, 이는 보편적 파괴되지 않음 성질이 고점수 카디널 가정에 대해 일관됨을 보여준다.
• 라버 준비가 보편적 파괴되지 않음을 달성하지 못하는 이유는 측정 가능 카디널 이하의 간극을 허용하기 때문이며, 간극 강제 정리에 의해 초초월성 정도의 증가가 방지된다.
• γ 이하에 간극을 허용하는 어떤 강제도 γ의 초초월성 정도, 강력한 초초월성 정도 또는 강력성 정도를 증가시킬 수 없으며, 이는 그러한 모델에서 보편적 파괴되지 않음의 가능성에 제한을 둔다.
• 논문은 측정 가능 카디널 이하의 간극을 피하는 새로운 강제 반복을 구성하여, 전체 반복 과정 동안 모든 초초월성 성질이 유지됨을 보장한다.
• 가장 핵심적인 모순은 강제가 λ-초초월성을 파괴한다고 가정할 경우 발생하며, 올린 임베딩은 측정이 이미 이전에 존재했어야 한다는 것을 보여주며, 이는 그것이 후속 단계에서 추가된 것이 아니라는 가정과 모순된다.