关于 $\mathbb{P}_{\max}$ 扩张中 $\omega$ 强可测基数的研究
逻辑
2025-07-01 v2
摘要
我们证明，在某一确定性 Chang 型模型的 扩张中，若 ，则 上的闭包滤子限制到 HOD 上是 HOD 中的超滤子。这回答了 Ben-Neria 与 Hayut 在 [BNH23] 中提出的 Question 4.11。
引用
@article{arxiv.2307.13682,
title = {On $\omega$-strongly measurable cardinals in $\mathbb{P}_{\max}$ extensions},
author = {Navin Aksornthong and Takehiko Gappo and James Holland and Grigor Sargsyan},
journal= {arXiv preprint arXiv:2307.13682},
year = {2025}
}
备注
22 pages. arXiv admin note: text overlap with arXiv:2307.08607