[論文レビュー] PCF without choice

Saharon Shelah|arXiv (Cornell University)|Oct 11, 2005

Advanced Topology and Set Theory参考文献 6被引用数 11

ひとこと要約

この論文は、選択公理を制限した集合論モデル、特に ZF + DC + ある基数 λ に対する可算部分集合の局所的整列可能性を仮定した下で、pcf（可能な共終型）理論を拡張する。これらの制約下で一般化されたpcf枠組みを確立し、正則基数のクラスの存在を証明し、基数不等式を導出することで、ZFCを超えた核心的なpcf結果を拡張する。

ABSTRACT

We mainly investigate model of set theory with restricted choice, e.g., ZF + DC + the family of countable subsets of is well ordered for every lambda (really local version for a given lambda). In this frame much of pcf theory can be generalized. E.g., there is a class of regular cardinals, and we can prove cardinal inequality.

研究の動機と目的

• 制限付き選択公理を有する集合論的モデル、特に ZF + DC において、pcf理論がどの程度発展できるかを調査すること。
• 固定された λ に対して λ の可算部分集合の整列可能性が、pcf理論における主要な結果を回復するのに十分かどうかを検討すること。
• 全選択公理が存在しない状況において、pcfの概念を一般化し、正則基数のクラスの存在を示すこと。
• 制限付き枠組みにおいて基数不等式を証明し、古典的pcf定理を拡張すること。

提案手法

• 固定された λ に対して、λ の可算部分集合の族が整列可能であると仮定した ZF + DC の枠組みで作業すること。
• 全選択公理に依存しないように、古典的pcf構成を可算部分集合の局所的整列可能性に依存して適応すること。
• 可算部分集合の整列可能性を用いて、正則基数の集合上のpcf構造を定義および分析すること。
• 超限再帰と共終型の議論を用いてpcf関数の存在を確立し、不等式を導出すること。
• 局所的選択条件を適用して、特定の逆極限や超積が適切に定義可能で解析可能であることを保証すること。
• 得られたpcf構造が、ZFCにおけるものと類似した基数不等式を支持することを証明すること。

実験結果

リサーチクエスチョン

• RQ1 ZFに依存的選択と可算部分集合の制限付き選択を加えたモデルにおいて、pcf理論を一般化できるか？
• RQ2 固定された λ に対して λ の可算部分集合の整列可能性が、pcf理論における正則基数のクラスの存在を回復するのに十分か？
• RQ3 与えられた制限付き仮定の下で、選択公理を用いずにpcf理論における基数不等式を証明できるか？
• RQ4 可算部分集合の局所的整列可能性が、pcf関数の構造とその共終型にどのように影響するか？
• RQ5 選択公理が著しく弱体化された状況において、pcf理論の限界は何か？

主な発見

• ZF + DC + 可算部分集合の族が整列可能であるという仮定の下で、pcf枠組み内に正則基数のクラスが存在する。
• 本論文は、全選択公理が存在しない状況において、基数不等式を支持する一般化されたpcf構造を確立した。
• λ の可算部分集合に対する局所的整列可能性の仮定により、pcf関数の構成とその共終型の分析が可能になった。
• ZFCにおけるものと類似した基数不等式が、この制限付き設定において証明され、主要な結果の頑健性が示された。
• 与えられた公理の下で、pcf閉包の定義と正則基数の集合上のpcf関数の存在が可能になった。
• 結果として、選択公理が著しく弱体化されたモデルにおいても、pcf理論の多くの核心的特徴が、λ の可算部分集合が整列可能である限り、存続することが示された。