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

DOI10.1090/JAMS/844MaRDI QIDQ2802069zbMATH OpenOpenAlexFDO

Authors Matteo Viale

Publication date 25 April 2016

Published in Journal of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1305.2058

Mathematics Subject Classification ID

Consistency and independence results (03E35) Other aspects of forcing and Boolean-valued models (03E40) Generic absoluteness and forcing axioms (03E57)

Abstract: We introduce a category whose objects are stationary set preserving complete boolean algebras and whose arrows are complete homomorphisms with a stationary set preserving quotient. We show that the cut of this category at a rank initial segment of the universe of height a super compact which is a limit of super compact cardinals is a stationary set preserving partial order which forces $M{M}^{++}$ and collapses its size to become the second uncountable cardinal. Next we argue that any of the known methods to produce a model of $M{M}^{++}$ collapsing a superhuge cardinal to become the second uncountable cardinal produces a model in which the cutoff of the category of stationary set preserving forcings at any rank initial segment of the universe of large enough height is forcing equivalent to a presaturated tower of normal filters. We let $M{M}^{+++}$ denote this statement and we prove that the theory of $L(Or{d}^{omeg{a}_1})$ with parameters in $P(omeg{a}_1)$ is generically invariant for stationary set preserving forcings that preserve $M{M}^{+++}$. Finally we argue that the work of Larson and Asper'o shows that this is a next to optimal generalization to the Chang model $L(Or{d}^{omeg{a}_1})$ of Woodin's generic absoluteness results for the Chang model $L(Or{d}^{omega})$. It remains open whether $M{M}^{+++}$ and $M{M}^{++}$ are equivalent axioms modulo large cardinals and whether $M{M}^{++}$ suffices to prove the same generic absoluteness results for the Chang model $L(Or{d}^{omeg{a}_1})$.

Recommendations

• Martin's maximum revisited
• Forcing indestructibility of set-theoretic axioms
• Martin's maximum\(^{++}\) implies Woodin's axiom \((*)\)
• A simple maximality principle
• Notes on forcing axioms

Cites work

• scientific article; zbMATH DE number 5354041 (Why is no real title available?)
• scientific article; zbMATH DE number 2121504 (Why is no real title available?)
• A family of covering properties
• A five element basis for the uncountable linear orders
• Absoluteness via resurrection
• All automorphisms of the Calkin algebra are inner
• Basis problems in combinatorial set theory
• Decomposing uncountable squares to countably many chains
• Forcing axioms and stationary sets
• Forcing axioms and the continuum hypothesis
• Forcing over models of determinacy
• Generic absoluteness and the continuum
• Ideals and generic elementary embeddings
• Incompatible Ω-Complete Theories
• Infinite Abelian groups, Whitehead problem and some constructions
• Martin's maximum and definability in \(H(\aleph_2\))
• Martin's maximum revisited
• Martin's maximum, saturated ideals, and nonregular ultrafilters. I
• On the consistency strength of the proper forcing axiom
• PFA and ideals on \(\omega_{2}\) whose associated forcings are proper
• Precipitous towers of normal filters
• Resurrection axioms and uplifting cardinals
• SET MAPPING REFLECTION
• Set Theory
• The axiom of determinacy, forcing axioms, and the nonstationary ideal
• The bounded proper forcing axiom and well orderings of the reals
• The modal logic of forcing
• Αll $ℵ_1$-dense sets of reals can be isomorphic

Cited in

(23)

• Maddy On The Multiverse
• On a class of maximality principles
• Absoluteness via resurrection
• Characterizing large cardinals through Neeman's pure side condition forcing
• Ultrahuge cardinals
• Questions on generalised Baire spaces
• Partition properties for simply definable colourings
• FORCING AXIOMS, APPROACHABILITY, AND STATIONARY SET REFLECTION
• Infinite forcing and the generic multiverse
• Generic absoluteness and Boolean names for elements of a Polish space
• On the non-existence of \(\kappa \)-mad families
• Martin's maximum revisited
• GENERIC LARGE CARDINALS AND SYSTEMS OF FILTERS
• The search for new axioms in the hyperuniverse programme
• The search for new axioms in the hyperuniverse programme
• Forcing indestructibility of set-theoretic axioms
• Second order arithmetic as the model companion of set theory
• Forcing, Multiverse and Realism
• Notes on forcing axioms
• Martin's maximum\(^{++}\) implies Woodin's axiom \((*)\)
• DEPENDENT CHOICE, PROPERNESS, AND GENERIC ABSOLUTENESS
• The exact consistency strength of the generic absoluteness for the universally Baire sets
• What makes the continuum ℵ₂

This page was built for publication: Category forcings, \(\mathsf{MM}^{+++}\), and generic absoluteness for the theory of strong forcing axioms

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