Abstract

In [P. Larson, Martin’s Maximum and the axiom , Ann. Pure App. Logic 106 135–149], we modified a coding device from [W.H. Woodin, The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal, Walter de Gruyter & Co, Berlin, 1999] and the consistency proof of Martin’s Maximum from [M. Foreman, M. Magidor, S. Shelah, Martin’s Maximum. saturated ideals, and non-regular ultrafilters. Part I, Annal. Math. 127 1–47] to show that from a supercompact limit of supercompact cardinals one could force Martin’s Maximum to hold while the axiom fails. Here we modify that argument to prove a stronger fact, that Martin’s Maximum is consistent with the existence of a wellordering of the reals definable in H without parameters, from the same large cardinal hypothesis. In doing so we give a much simpler proof of the original result