Square principles in P_ extensions

DOI10.1007/S11856-017-1444-8MaRDI QIDQ522300zbMATH OpenOpenAlexFDO

Authors Andrés Eduardo Caicedo, Grigor Sargsyan, Martin Zeman, Paul Larson, Ralf Schindler, John Steel

Publication date 28 April 2017

Published in Israel Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1205.4275

\(\mathbb P_{\max}\)axiom of determinacy square principles

Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Determinacy principles (03E60)

Abstract: By forcing with

m a t h b b P_{m m a x}

over strong models of determinacy, we obtain models where different square principles at

o m e g a_{2}

and

o m e g a_{3}

fail. In particular, we obtain a model of

2^{a l e p h_{0}} = 2^{a l e p h_{1}} = a l e p h_{2} + l n o t s q u a r e (o m e g a_{2}) + l n o t s q u a r e (o m e g a_{3})

.

Review text

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)\).

Recommendations

Cites work

Cited in

(20)

This page was built for publication: Square principles in \(\mathbb{P}_{\max}\) extensions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q522300)