[논문 리뷰] NNR Revisited

Mohammad Golshani, Saharon Shelah|arXiv (Cornell University)|2000. 03. 20.

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

한 줄 요약

이 논문은 실수를 추가하지 않는 포지션 개념의 가чёт한 지지 반복을 재검토하여, 추가 조건 하에서 극한 포지션 역시 실수를 추가하지 않음을 증명한다. 이는 ZFC + GCH 하에서 SH와 비클럽 추측의 일致성을 동시에 확립하는 데 두 가지 이전 방법을 통합하며, GCH를 유지하면서 클럽 추측의 강한 실패를 일치시킬 수 있음을 보이며, Justin Moore가 제기한 실수를 추가하지 않고 측정 원리(Measuring principle)를 강제할 수 있는지에 대한 질문에 답한다.

ABSTRACT

We are interested in proving that if we use countable support iterations of forcing notions not adding reals that satisfy additional conditions, then the limit forcing does not add reals. As a result we prove that we can amalgamate two earlier methods and prove the consistency with ZFC + GCH of two statements gotten separately earlier: SH and non-club guessing. We also prove the consistency of further cases of strong failure of club guessing with GCH. These results answer two questions of Justin Moore, in particular, it follows that one can force the Measuring principle without adding any new reals.

연구 동기 및 목표

• 특정 조건 하에서 실수를 추가하지 않는 포지션 개념의 가чёт한 지지 반복이 극한에서 이 성질을 유지함을 증명하기 위해.
• SH와 비클럽 추측을 동시에 ZFC + GCH 하에서 일치시킬 수 있도록 두 가지 기존 포지션 방법을 통합하기 위해.
• GCH를 유지하면서 강한 클럽 추측 실패의 추가 사례에 대해 일치성을 확장하기 위해.
• Justin Moore가 제기한 실수를 추가하지 않고 측정 원리를 강제할 수 있는지에 대한 두 가지 열린 질문에 답하기 위해.

제안 방법

• 실수를 추가하지 않는 포지션 개념의 가чёт한 지지 반복을 추가적인 구조적 제약 조건 하에서 활용한다.
• 극한 포지션도 반복 후에도 실수를 추가하지 않음을 보장하기 위해 융합 스타일의 추론을 적용한다.
• SH와 비클럽 추측을 강제하는 기법을 하나의 통합된 반복 프레임워크로 통합한다.
• 가чёт한 체인 조건과 반사기 조건에 기반한 유지 보존 추론을 활용하여 실수의 오염을 방지한다.
• 반복의 지지와 각 반복 요소의 성질을 철저히 제어함으로써 '비클럽 추측 유지' 개념을 구현한다.
• 측정 원리를 목표 문장으로 삼아, 이 방법을 통해 실수를 추가하지 않고도 강제할 수 있음을 보여준다.

실험 결과

연구 질문

• RQ1 추가 조건 하에서 실수를 추가하지 않는 포지션 개념의 가чёт한 지지 반복이 극한에서 실수를 추가하지 않는 성질을 유지할 수 있는가?
• RQ2 ZFC + GCH 모델에서 동시에 SH와 비클럽 추측을 강제할 수 있는가?
• RQ3 이 방법을 사용하여 GCH를 유지하면서 클럽 추측의 강한 실패를 일관되게 강제할 수 있는가?
• RQ4 Justin Moore가 제기한 바와 같이, 실수를 추가하지 않고 측정 원리를 강제할 수 있는가?

주요 결과

• 논문은 ZFC + GCH 하에서 SH와 비클럽 추측이 동시에 일관됨을 확립하여 오랫동안 열려 있던 문제를 해결한다.
• 지정된 조건 하에서 실수를 추가하지 않는 포지션 개념의 가чёт한 지지 반복의 극한 역시 실수를 추가하지 않음을 증명한다.
• 이 방법은 실수를 추가하지 않고 측정 원리를 일관되게 강제할 수 있게 하여 Justin Moore의 질문에 답한다.
• GCH 하에서 클럽 추측의 강한 실패에 대한 추가 사례들이 일관됨을 보이며, 이는 이전 결과를 확장한다.