中文

关于 HOD 中的 $\omega$-强可测基数

逻辑 2023-02-16 v5

摘要

我们证明了关于 HOD 中 ω\omega-强可测基数概念的若干一致性结果。特别地,我们表明,相对于弱于 o(κ)=κo(\kappa) = \kappa 的大基数假设,每个正则基数的后继在 HOD 中是 ω\omega-强可测的,这是一致的。

关键词

引用

@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}
}