On the Consistency Strength of MM($\omega_1$)
Logic
2023-10-31 v2
Abstract
We prove that the consistency strength of Martin's Maximum restricted to partial orders of cardinality follows from the consistency of ZFC.
Cite
@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}
}