Square principles in \(\mathbb{P}_{\max}\) extensions (Q522300)

In [The axiom of determinacy, forcing axioms, and the nonstationary ideal. 2nd revised ed. Berlin: Walter de Gruyter (2010; Zbl 1203.03059)], \textit{W. H. Woodin} applied his forcing notion \(\mathbb P_{\max}\) to a model of \(\text{AD}_{\mathbb R} +``\Theta\,\, \text{is regular}" \) to obtain an extension where \(\text{MM}^{++}(\mathfrak c)\), holds. Here, \(\text{AD}_{\mathbb R}\) is the axiom of determinacy for sets of reals, \(\Theta\) is the least ordinal that is not a surjective image of \(\mathbb R\), \(\mathfrak c\) is the cardinality of \(\mathbb R\), and \(\text{MM}^{++}(\mathfrak c)\) is the assertion that \((H(\omega_2), \in, \mathrm{NSI})\) is \(\Sigma_1\) elementary in \((H(\omega_2), \in, \mathrm{NSI})\) of \(V^P\) for any stationary set preserving \(P\) of size at most \(\mathfrak c\). (\(\mathrm{NSI}\) is the nonstationary ideal on \(\omega_1\).) In this article, the authors apply \(\mathbb P_{\max}\) to theories stronger than \(\text{AD}_{\mathbb R} +``\Theta\,\, \text{is regular''} \) to obtain some consequences of \(\text{MM}^{++}(\mathfrak c^{+})\), namely results about Jensen's square principles. In particular, they produce a model of \(2^{\aleph_0}=2^{\aleph_1}=\aleph_2 +\neg\square(\omega_2) +\neg\square(\omega_3)\).