在所有集合均为泛贝尔集时决定性公理的一致性强度
逻辑
2025-06-10 v3
摘要
已知当增强以所有实数集均为泛贝尔集的假设时，决定性公理的大基数强度远强于决定性公理本身。Sargsyan 猜想其强度等同于存在一个既是 Woodin 基数极限又是强基数极限的基数。Larson、Sargsyan 和 Wilson 使用了 Woodin 派生模型构造的一种推广，表明该猜想结果是最优的。在本文中，我们引入了一种针对混合 mice 的新翻译过程，扩展了 Steel、Zhu 和 Sargsyan 的工作，并应用它证明了 Sargsyan 的猜想。
引用
@article{arxiv.2106.04244,
title = {The consistency strength of determinacy when all sets are universally Baire},
author = {Sandra Müller},
journal= {arXiv preprint arXiv:2106.04244},
year = {2025}
}