Remote Access Journal of the American Mathematical Society
Green Open Access

Journal of the American Mathematical Society

ISSN 1088-6834(online) ISSN 0894-0347(print)

 
 

 

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


Author: Matteo Viale
Journal: J. Amer. Math. Soc. 29 (2016), 675-728
MSC (2010): Primary 03E35; Secondary 03E40, 03E57
DOI: https://doi.org/10.1090/jams/844
Published electronically: August 19, 2015
MathSciNet review: 3486170
Full-text PDF

Abstract | References | Similar Articles | Additional Information

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 {{\sf 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 {{\sf MM}}^{+++}$ is consistent relative to large cardinal axioms and that $ \text {{\sf MM}}^{+++}$ makes the theory of the Chang model $ L([$$ \text {{\rm 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 {{\rm Ord}}]^{\leq \aleph _1})$ of Woodin's generic absoluteness results for the Chang model $ L([$$ \text {{\rm Ord}}]^{\aleph _0})$ and give an a posteriori explanation of the success forcing axioms have met in set theory.


References [Enhancements On Off] (What's this?)


Similar Articles

Retrieve articles in Journal of the American Mathematical Society with MSC (2010): 03E35, 03E40, 03E57

Retrieve articles in all journals with MSC (2010): 03E35, 03E40, 03E57


Additional Information

Matteo Viale
Affiliation: Department of Mathematics “Giuseppe Peano”, University of Torino, via Carlo Alberto 10, 10125, Torino, Italy
Email: matteo.viale@unito.it

DOI: https://doi.org/10.1090/jams/844
Received by editor(s): January 22, 2013
Received by editor(s) in revised form: April 15, 2013, January 15, 2014, and April 5, 2015
Published electronically: August 19, 2015
Additional Notes: The author acknowledges support from PRIN grant 2009 (Modelli e Insiemi), PRIN grant 2012 (Logica, Modelli e Insiemi), Kurt Gödel Research Fellowship 2010, San Paolo Junior PI grant 2012; the Fields Institute in Mathematical Sciences.
Dedicated: To Chiara and to our kids, Pietro and Adele.
Article copyright: © Copyright 2015 American Mathematical Society

American Mathematical Society