On the Consistency Strength of MM(\omega₁)

DOI10.1090/PROC/16718MaRDI QIDQ6443566zbMATH OpenFDO

Authors Natasha Dobrinen, John Krueger, Pedro E. Marun, Miguel Angel Mota, Jindřich Zapletal

Publication date 12 July 2023

Full work available at URL https://doi.org/10.1090/PROC/16718

Mathematics Subject Classification ID

Consistency and independence results (03E35) Continuum hypothesis and Martin's axiom (03E50)

Abstract: We prove that the consistency strength of Martin's Maximum restricted to partial orders of cardinality $omeg{a}_1$ follows from the consistency of ZFC.

Cited in

(1)

• Hajnal-Máté graphs, Cohen reals, and disjoint-type guessing

This page was built for publication: On the Consistency Strength of MM($\omega_1$)

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