On the Consistency Strength of MM($ω_1$)

Natasha Dobrinen,John Krueger,Pedro Marun,Miguel Angel Mota,Jindrich Zapletal
2023-10-29
Abstract:We prove that the consistency strength of Martin's Maximum restricted to partial orders of cardinality $\omega_1$ follows from the consistency of ZFC.
Logic
What problem does this paper attempt to address?