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

Review text

The main results of the paper read as follows:{\parindent= 8mm \begin{itemize}\item[(A)] RP(\(\omega_2\)) (respectively, SRP(\(\omega_2\)) together with the tree property at \(\omega_2\)) implies that there is no tower of ideals concentrating on the class of internally club (respectively, internally stationary), \(\omega_1\)-guessing sets that is presaturated. \item[(B)] If PFA\(^+\) or MM holds, and \(\delta\) is an inaccessible cardinal, then there is a tower of height \(\delta\) with critical point \(\omega_2\) that is not presaturated. \item[(C)] If \(2^{\aleph_0} \leq \aleph_2\) and \(\delta\) is an inaccessible cardinal, then there is no precipitous tower of height \(\delta\) that concentrates on the class of internally club, \(\omega_1\)-guessing sets and is definable over \((V_\delta, \in)\). \item[(D)] Suppose that there is a supercompact cardinal with an inaccessible cardinal above, and let \(\mathbb{P}\) be the standard iteration to obtain a model of MM\(^{+\omega_1}\). Then in \(V^{\mathbb{P}}\), there is a precipitous tower concentrating on the class of internally club, \(\omega_1\)-guessing sets. \end{itemize}}

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

• A new Löwenheim-Skolem theorem
• Forcing axioms and stationary sets
• Guessing models and generalized Laver diamond
• scientific article; zbMATH DE number 1908324 (Why is no real title available?)
• scientific article; zbMATH DE number 2121504 (Why is no real title available?)
• 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

(9)

• Towers in \([\omega]^{\omega}\) and \(^{\omega}\omega\)
• The size of \(\widetilde T\)
• On countable stationary towers
• Precipitous towers of normal filters
• Fragments of Martin's Maximum in generic extensions
• Definable towers
• Prevalence of generic Laver diamond
• GENERIC LARGE CARDINALS AND SYSTEMS OF FILTERS
• Martin's maximum revisited

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)