[论文解读] PCF without choice

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

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

一句话总结

本文将pcf（可能共终性）理论扩展至选择公理受限的集合论模型，具体为ZF + DC + 对给定基数λ的可数子集族的局部良序化。在这些约束下，建立了广义pcf框架，证明了正则基数类的存在性并推导出基数不等式，从而将核心pcf结果扩展至ZFC之外。

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.

研究动机与目标

• 研究在选择公理受限的集合论模型中，pcf理论可被发展到何种程度，特别是ZF + DC。
• 检验对固定λ的λ的可数子集的良序化是否足以恢复pcf理论中的关键结果。
• 在完整选择公理缺失的情况下，推广pcf概念及正则基数类的存在性。
• 在该受限框架中证明基数不等式，从而扩展经典pcf定理。

提出的方法

• 在ZF + DC + 对给定λ的λ的可数子集族的良序化假设下工作。
• 调整经典pcf构造，使其在无完整选择公理下仍能运作，依赖于可数子集的局部良序化。
• 利用可数子集的良序化来定义并分析正则基数集合上的pcf结构。
• 通过超限归纳法和共终性论证，建立pcf函数的存在性并推导不等式。
• 应用局部选择条件，以确保某些逆极限和超积可被良好定义并加以分析。
• 证明所得pcf结构支持与ZFC中类似的基数不等式。

实验结果

研究问题

• RQ1 pcf理论能否推广至具有依赖选择公理和可数子集受限选择的ZF模型？
• RQ2 对固定λ的λ的可数子集的良序化是否足以恢复pcf理论中正则基数类的存在性？
• RQ3 在给定受限假设下，能否在无选择公理的情况下证明pcf理论中的基数不等式？
• RQ4 可数子集的局部良序化如何影响pcf函数及其共终性的结构？
• RQ5 当选择公理被显著削弱时，pcf理论的局限性是什么？

主要发现

• 在ZF + DC + λ的可数子集族良序化条件下，pcf框架内存在一个正则基数类。
• 本文建立了广义pcf结构，即使在无完整选择公理下，该结构仍支持基数不等式。
• 对λ的可数子集的局部良序化假设，使得pcf函数的构造及其共终性的分析成为可能。
• 在该受限设定中，证明了与ZFC pcf理论中类似的基数不等式，表明关键结果具有鲁棒性。
• 该框架允许定义pcf闭包，并在给定公理下证明正则基数集合上pcf函数的存在性。
• 结果表明，当λ的可数子集被良序化时，pcf理论的许多核心特征在选择公理受限的模型中依然成立。