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

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.