Strong tree properties for small cardinals

DOI10.2178/JSL.7801220MaRDI QIDQ4916563zbMATH OpenOpenAlexFDO

Authors Laura Fontanella

Publication date 23 April 2013

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1201.6673, https://projecteuclid.org/euclid.jsl/1358951117

zbMATH Keywords

forcinglarge cardinalstree property

Mathematics Subject Classification ID

Large cardinals (03E55)

Abstract: An inaccessible cardinal kappa is supercompact when (kappa, lambda)-ITP holds for all lambda greater than or equal to kappa. We prove that if there is a model of ZFC with infinitely many supercompact cardinals, then there is a model of ZFC where for every natural number n greater than 1 and for every ordinal mu greater than or equal to aleph_n, we have (aleph_n, mu)-ITP.

Recommendations

• Easton's theorem for the tree property below \(\aleph_\omega\)
• The strong tree property and weak square
• The strong tree property at successors of singular cardinals
• The super tree property at the successor of a singular
• The tree property at both \(\aleph_{\omega +1}\) and \(\aleph_{\omega +2}\)
• The tree property
• A model of Cummings and Foreman revisited
• The tree property at the first and double successors of a singular
• The tree property up to \(\aleph_{\omega+1}\)
• The tree property and the failure of the singular cardinal hypothesis at \(\aleph _{\omega ^{2}}\)

Cites work

• Aronszajn trees and the independence of the transfer property
• Aronszajn trees on _2 and _3.
• Guessing models and generalized Laver diamond
• scientific article; zbMATH DE number 702561 (Why is no real title available?)
• Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing
• On the consistency strength of the proper forcing axiom
• On the Hamkins approximation property
• Set theory. An introduction to independence proofs
• Some combinatorial problems concerning uncountable cardinals
• Strong tree properties for two successive cardinals
• The tree property

Cited in

(20)

• The tree property
• Weak covering and the tree property
• The super tree property at the successor of a singular
• The strong tree property and the failure of SCH
• Perfect subtree property for weakly compact cardinals
• The tree property up to \(\aleph_{\omega+1}\)
• The strong tree property at successors of singular cardinals
• The ineffable tree property and failure of the singular cardinals hypothesis
• The combinatorial essence of supercompactness
• Strong tree properties for two successive cardinals
• The tree property on a countable segment of successors of singular cardinals
• The strong tree property and weak square
• The tree property and the continuum function below \(\aleph_{\omega}\)
• Guessing models and the approachability ideal
• ITP, ISP, and SCH
• The tree property at both \(\aleph_{\omega +1}\) and \(\aleph_{\omega +2}\)
• The strong and super tree properties at successors of singular cardinals
• Slender trees and the approximation property
• Tree properties at successors of singulars of many cofinalities
• A model of Cummings and Foreman revisited

This page was built for publication: Strong tree properties for small cardinals

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