Martin's maximum and tower forcing

DOI10.1007/S11856-013-0004-0MaRDI QIDQ375784zbMATH OpenOpenAlexFDO

Authors Matteo Viale, Sean Cox

Publication date 31 October 2013

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

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

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)

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

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

Cites work

• scientific article; zbMATH DE number 1908324 (Why is no real title available?)
• scientific article; zbMATH DE number 2121504 (Why is no real title available?)
• A new Löwenheim-Skolem theorem
• Forcing axioms and stationary sets
• Guessing models and generalized Laver diamond
• Ideal projections and forcing projections
• Ideals and generic elementary embeddings
• Large cardinals and definable counterexamples to the continuum hypothesis
• Local Clubs, Reflection, and Preserving Stationary Sets
• Martin's maximum, saturated ideals, and nonregular ultrafilters. I
• Nonsplitting subset of _κ(κ⁺)
• On the consistency strength of the proper forcing axiom
• Precipitous towers of normal filters
• Projective Stationary Sets and a Strong Reflection Principle
• Some Second Order Set Theory
• The axiom of determinacy, forcing axioms, and the nonstationary ideal
• The combinatorial essence of supercompactness

Cited in

(7)

• Martin's maximum revisited
• GENERIC LARGE CARDINALS AND SYSTEMS OF FILTERS
• The size of \(\widetilde T\)
• Prevalence of generic Laver diamond
• Precipitous towers of normal filters
• 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)