Strong tree properties for two successive cardinals

DOI10.1007/S00153-012-0285-8MaRDI QIDQ453196zbMATH OpenOpenAlexFDO

Authors Laura Fontanella

Publication date 18 September 2012

Published in Archive for Mathematical Logic (Search for Journal in Brave)

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

zbMATH Keywords

forcinglarge cardinalssupercompact cardinalstree property

Mathematics Subject Classification ID

Large cardinals (03E55)

Abstract: An inaccessible cardinal $kappa$ is supercompact when $(kappa,lambda)$-ITP holds for all $lambdageqkappa.$ We prove that if there is a model of $$ with two supercompact cardinals, then there is a model of �FC where simultaneously $(alep{h}_2,mu)$-ITP and $(alep{h}_3,m{u}^{\prime })$-ITP hold, for all $mugeqalep{h}_2$ and $m{u}^{\prime }geqalep{h}_3.$

Recommendations

• Strong tree properties for small cardinals
• The strong tree property at successors of singular cardinals
• The tree property
• The super tree property at the successor of a singular
• The tree property on a countable segment of successors of singular cardinals

Cites work

• scientific article; zbMATH DE number 702561 (Why is no real title available?)
• Aronszajn trees and the independence of the transfer property
• Aronszajn trees on _2 and _3.
• Combinatorial Characterization of Supercompact Cardinals
• Guessing models and generalized Laver diamond
• Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing
• On the consistency strength of the proper forcing axiom
• Set theory. An introduction to independence proofs
• The combinatorial essence of supercompactness
• The tree property

Cited in

(6)

• Strong tree properties, Kurepa trees, and guessing models
• Guessing models and the approachability ideal
• Strong tree properties for small cardinals
• The strong tree property at successors of singular cardinals
• The strong and super tree properties at successors of singular cardinals
• The super tree property at the successor of a singular

This page was built for publication: Strong tree properties for two successive cardinals

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