关于 HOD 中的 $\omega$-强可测基数
逻辑
2023-02-16 v5
摘要
我们证明了关于 HOD 中 -强可测基数概念的若干一致性结果。特别地,我们表明,相对于弱于 的大基数假设,每个正则基数的后继在 HOD 中是 -强可测的,这是一致的。
引用
@article{arxiv.1911.04568,
title = {On $\omega$-Strongly Measurable Cardinals},
author = {Omer Ben-Neria and Yair Hayut},
journal= {arXiv preprint arXiv:1911.04568},
year = {2023}
}