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

DOI10.1090/JAMS/844zbMATH Open1403.03108arXiv1305.2058OpenAlexW2962887510MaRDI QIDQ2802069FDOQ2802069

Authors: Matteo Viale 

Publication date: 25 April 2016

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

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})$.

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

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

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (23)

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

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)