[논문 리뷰] The distributivity numbers of finite products of P(omega) /fin

Saharon Shelah, Otmar Spinas|arXiv (Cornell University)|1998. 01. 15.

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

한 줄 요약

이 논문은 Balcar, Pelant, 그리고 Simon이 제기한 오랜 문제를 해결하며, ZFC 모델에서 각 n < ω에 대해 (P(omega)/fin)^{n+1}의 분배수(distributivity number)가 (P(omega)/fin)^n의 것보다 엄격히 작다는 것을 구성한다. 또한 Laver 및 Miller 강제법이 연속체를 h(n)으로 축소시킴을 보이며, 첫 번째 결과를 통해 h(n) 이하로의 일致한 축소가 가능하다는 것을 보인다.

ABSTRACT

Generalizing [ShSi:494], for every n&lt; omega we construct a ZFC-model where the distributivity number of r.o. (P(omega)/fin)^{n+1}, h(n+1), is smaller than the one of r.o.(P(omega)/fin)^{n}. This answers an old problem of Balcar, Pelant and Simon. We also show that Laver and Miller forcing collapse the continuum to h(n) for every n

연구 동기 및 목표

• Balcar, Pelant, 그리고 Simon이 제기한 P(omega)/fin의 유한한 곱에 대한 분배수에 관한 열린 문제를 해결하기 위함.
• ZFC 내에서 각 n < ω에 대해 (P(omega)/fin)^{n+1}의 분배수는 (P(omega)/fin)^n의 것보다 엄격히 작게 되는 모델을 구성하기 위함.
• Laver 및 Miller 강제법이 연속체에 미치는 영향, 특히 분배수에 대한 영향을 분석하기 위함.
• 구성된 모델을 바탕으로 Laver 및 Miller 강제법에 의해 연속체가 h(n)으로 일致적으로 축소됨을 확립하기 위함.

제안 방법

• 이전 연구(ShSi:494)를 일반화하여, 저자들은 강제법과 모형 이론 기법을 사용하여 제어된 분배수를 가진 ZFC 모델을 구성한다.
• 그들은 (P(omega)/fin)^n의 분배수 h(n)을 분석하며, 특히 유한한 곱에서의 이상과 필터의 구조에 집중한다.
• 이 방법은 강제 확장을 통해 P(omega)/fin의 곱의 분배성 특성을 정밀하게 제어하는 데 초점이 맞춰져 있다.
• Laver 및 Miller 강제법을 적용하여 연속체와 h(n) 사이의 관계를 분석하고, 이러한 강제법이 연속체를 h(n)으로 축소시킴을 보인다.
• 이 구성은 P(omega)/fin의 조합적 성질과 그 유한한 곱에서의 행동에 기반한다.
• 증명은 반복 강제법, 분배성 분석, 기수 불변량의 조합을 사용하여 분배수 간의 원하는 부등식을 달성한다.

실험 결과

연구 질문

• RQ1 ZFC에서 각 n < ω에 대해 (P(omega)/fin)^{n+1}의 분배수가 (P(omega)/fin)^n의 것보다 엄격히 작은 것이 일致할 수 있는가?
• RQ2 Laver 및 Miller 강제법을 사용하여 각 n < ω에 대해 연속체를 h(n)으로 축소시킬 수 있는가?
• RQ3 P(omega)/fin의 유한한 곱의 분배수와 표준 강제법의 행동 간의 관계는 무엇인가?
• RQ4 유한한 곱에 대해 분배수가 엄격히 감소하는 모델의 존재가 Balcar, Pelant, 그리고 Simon이 제기한 문제를 해결하는가?
• RQ5 Laver 및 Miller와 같은 강제법을 사용하여 연속체를 h(n) 이하로 일致적으로 축소시킬 수 있는가?

주요 결과

• 논문은 각 n < ω에 대해 (P(omega)/fin)^{n+1}의 분배수가 (P(omega)/fin)^n의 것보다 엄격히 작은 ZFC 모델을 구성한다.
• 이 구성은 Balcar, Pelant, 그리고 Simon이 제기한 오랜 열린 문제를 해결한다.
• Laver 및 Miller 강제법이 각 n < ω에 대해 연속체를 h(n)으로 축소시킴을 보였다.
• 결과적으로, 구성된 모델에서 이러한 강제법을 통해 연속체가 h(n) 이하로 일致적으로 축소됨을 보였다.
• 이 결과는 ZFC 내에서 P(omega)/fin의 유한한 곱에 대해 분배수에 엄격한 계층이 존재함을 보여준다.
• 분석을 통해 분배수 h(n)이 절대적이지 않으며, 강제법을 통해 일致적으로 낮출 수 있음이 확인되었다.