论 MM($\omega_1$) 的一致性强度
逻辑
2023-10-31 v2
摘要
我们证明,限制于基数为 的偏序集上的 Martin 极大值(Martin's Maximum)的一致性强度可由 ZFC 的一致性推出。
关键词
引用
@article{arxiv.2307.06494,
title = {On the Consistency Strength of MM($\omega_1$)},
author = {Natasha Dobrinen and John Krueger and Pedro Marun and Miguel Angel Mota and Jindrich Zapletal},
journal= {arXiv preprint arXiv:2307.06494},
year = {2023}
}