arXiv Analytics

Sign in

arXiv:2307.06494 [math.LO]AbstractReferencesReviewsResources

On the Consistency Strength of MM($ω_1$)

Natasha Dobrinen, John Krueger, Pedro Marun, Miguel Angel Mota, Jindrich Zapletal

Published 2023-07-13Version 1

We prove that the consistency strength of Martin's Maximum restricted to partial orders of cardinality $\omega_1$ follows from the consistency of ZFC.

Categories: math.LO
Subjects: 03E35, 03E50
Related articles: Most relevant | Search more
arXiv:1708.08049 [math.LO] (Published 2017-08-27)
Martin's maximum and the non-stationary ideal
arXiv:1012.2046 [math.LO] (Published 2010-12-09)
On the consistency strength of the proper forcing axiom
arXiv:math/9707207 [math.LO] (Published 1997-07-30)
The consistency strength of NFUB

Links

Toolbox