arXiv Analytics

Sign in

arXiv:1906.10213 [math.LO]AbstractReferencesReviewsResources

${\sf MM}^{++}$ implies $(*)$

David Asperó, Ralf Schindler

Published 2019-06-24Version 1

We show that Martin's Maximum${}^{++}$ implies Woodin's ${\mathbb P}_{\rm max}$ axiom $(*)$.

Comments: 20 pages
Categories: math.LO
Related articles: Most relevant | Search more
arXiv:1110.1584 [math.LO] (Published 2011-10-07, updated 2011-10-18)
Martin's Maximum and tower forcing
arXiv:1110.1181 [math.LO] (Published 2011-10-06, updated 2012-02-09)
Martin's maximum revisited
arXiv:1708.08049 [math.LO] (Published 2017-08-27)
Martin's maximum and the non-stationary ideal

Links

Toolbox