[論文レビュー] The distributivity numbers of finite products of P(omega) /fin

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

Advanced Topology and Set Theory参考文献 2被引用数 7

ひとこと要約

この論文は、Balcar, Pelant, and Simon が提起した古くからの問題を解決する ZFC モデルを構成する。このモデルにおいて、任意の n < ω に対して、(P(omega)/fin)^{n+1} の分配数が (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 P(omega)/fin の有限積に対して分配数が厳密に減少するモデルの存在が、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) が絶対的ではなく、強制法によって一貫的に低下させられることを確認している。