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. (shrink)

We show that strongly compact cardinals and MM are sensitive to $\lambda$-closed forcings for arbitrarily large $\lambda$. This is done by adding ‘regressive' $\lambda$-Kurepa trees in either case. We argue that the destruction of regressive Kurepa trees requires a non-standard application of MM. As a corollary, we find a consistent example of an $\omega_2$-closed poset that is not forcing equivalent to any $\omega_2$-directed-closed poset.

Several situations are presented in which there is an ordinal γ such that ${\{ X \in [\gamma]^{\aleph_0} : X \cap \omega_1 \in S\,{\rm and}\, ot(X) \in T \}}$ is a stationary subset of ${[\gamma]^{\aleph_0}}$ for all stationary ${S, T\subseteq \omega_1}$ . A natural strengthening of the existence of an ordinal γ for which the above conclusion holds lies, in terms of consistency strength, between the existence of the sharp of ${H_{\omega_2}}$ and the existence of sharps for all reals. Also, an (...) optimal model separating Bounded Semiproper Forcing Axiom (BSPFA) and Bounded Martin’s Maximum (BMM) is produced and it is shown that a strong form of BMM involving only parameters from ${H_{\omega_2}}$ implies that every function from ω 1 into ω 1 is bounded on a club by a canonical function. (shrink)