On the Consistency Strength of MM(${\omega }_1$)

Natasha Dobrinen, John Krueger, Pedro Marun +2

We prove that the consistency strength of Martin's Maximum restricted to partial orders of cardinality ${\omega }_1$ follows from the consistency of ZFC.