Category forcings, $\text {\textsf {MM}}^{+++}$, and generic absoluteness for the theory of strong forcing axioms

Abstract:

We analyze certain subfamilies of the category of complete boolean algebras with complete homomorphisms, families which are of particular interest in set theory. In particular we study the category whose objects are stationary set preserving, atomless complete boolean algebras and whose arrows are complete homomorphisms with a stationary set preserving quotient. We introduce a maximal forcing axiom $\text {\textsf {MM}}^{+++}$ as a combinatorial property of this category. This forcing axiom strengthens Martin’s maximum and can be seen at the same time as a strenghtening of Baire’s category theorem and of the axiom of choice. Our main results show that $\text {\textsf {MM}}^{+++}$ is consistent relative to large cardinal axioms and that $\text {\textsf {MM}}^{+++}$ makes the theory of the Chang model $L([\text {\textrm {Ord}}]^{\leq \aleph _1})$ with parameters in $P(\omega _1)$ generically invariant for stationary set preserving forcings that preserve this axiom. We also show that our results give a close to optimal extension to the Chang model $L([\text {\textrm {Ord}}]^{\leq \aleph _1})$ of Woodin’s generic absoluteness results for the Chang model $L([\text {\textrm {Ord}}]^{\aleph _0})$ and give an a posteriori explanation of the success forcing axioms have met in set theory.