Martin's maximum and tower forcing

DOI10.1007/S11856-013-0004-0zbMATH Open1306.03024arXiv1110.1584OpenAlexW2058234343MaRDI QIDQ375784FDOQ375784

Authors: Matteo Viale, Sean Cox 

Publication date: 31 October 2013

Published in: Israel Journal of Mathematics (Search for Journal in Brave)

Abstract: There are several examples in the literature showing that compactness-like properties of a cardinal $kappa$ cause poor behavior of some generic ultrapowers which have critical point $kappa$ (Burke cite{MR1472122} when $kappa$ is a supercompact cardinal; Foreman-Magidor cite{MR1359154} when $kappa=omeg{a}_2$ in the presence of strong forcing axioms). We prove more instances of this phenomenon. First, the Reflection Principle (RP) implies that if $vecmathcalI$ is a tower of ideals which concentrates on the class $GI{C}_{omeg{a}_1}$ of $omeg{a}_1$-guessing, internally club sets, then $vecmathcalI$ is not presaturated (a set is $omeg{a}_1$-guessing iff its transitive collapse has the $omeg{a}_1$-approximation property as defined in Hamkins cite{MR2540935}). This theorem, combined with work from cite{VW_ISP}, shows that if $PF{A}^{+}$ or $MM$ holds and there is an inaccessible cardinal, then there is a tower with critical point $omeg{a}_2$ which is not presaturated; moreover this tower is significantly different from the non-presaturated tower already known (by Foreman-Magidor cite{MR1359154}) to exist in all models of Martin's Maximum. The conjunction of the Strong Reflection Principle (SRP) and the Tree Property at $omeg{a}_2$ has similar implications for towers of ideals which concentrate on the wider class $GI{S}_{omeg{a}_1}$ of $omeg{a}_1$-guessing, internally stationary sets. Finally, we show that the word "presaturated" cannot be replaced by "precipitous" in the theorems above: Martin's Maximum (which implies SRP and the Tree Property at $omeg{a}_2$) is consistent with a precipitous tower on $GI{C}_{omeg{a}_1}$.

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

Recommendations

• Martin's maximum revisited
• Martin’s maximum and weak square
• Martin's Maximum and the \(\mathbb{P}_{\max}\) Axiom \((*)\)
• scientific article; zbMATH DE number 621885
• On the strong Martin conjecture
• Fragments of Martin's Maximum in generic extensions
• The max-plus Martin boundary
• An introduction to \(\mathbb{P}_{\max}\) forcing
• Bounded Martin's Maximum and strong cardinals

zbMATH Keywords

internally club setMartin's maximum (MM)precipitous towerpresaturated towerproper forcing axiom (PFA)reflection principle (RR)strong reflection principle (SRP)tower of ideals

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Consistency and independence results (03E35) Other aspects of forcing and Boolean-valued models (03E40) Large cardinals (03E55) Generic absoluteness and forcing axioms (03E57)

Cites Work

• Title not available (Why is that?)
• 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
• Nonsplitting subset of _κ(κ⁺)
• Forcing axioms and stationary sets
• Large cardinals and definable counterexamples to the continuum hypothesis
• Ideals and generic elementary embeddings
• Some Second Order Set Theory
• Local Clubs, Reflection, and Preserving Stationary Sets
• Projective Stationary Sets and a Strong Reflection Principle
• Precipitous towers of normal filters
• Guessing models and generalized Laver diamond
• The combinatorial essence of supercompactness
• A new Löwenheim-Skolem theorem
• IDEAL PROJECTIONS AND FORCING PROJECTIONS
• On the consistency strength of the proper forcing axiom

Cited In (5)

• GENERIC LARGE CARDINALS AND SYSTEMS OF FILTERS
• The size of \(\widetilde T\)
• Prevalence of Generic Laver Diamond
• Fragments of Martin's Maximum in generic extensions
• Towers in \([\omega]^{\omega}\) and \(^{\omega}\omega\)

This page was built for publication: Martin's maximum and tower forcing

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