Strong tree properties for two successive cardinals

DOI10.1007/S00153-012-0285-8zbMATH Open1262.03108arXiv1110.6736OpenAlexW2026428453MaRDI QIDQ453196FDOQ453196

Authors: Laura Fontanella 

Publication date: 18 September 2012

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

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

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

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

zbMATH Keywords

forcinglarge cardinalssupercompact cardinalstree property

Mathematics Subject Classification ID

Large cardinals (03E55)

Cites Work

• Set theory. An introduction to independence proofs
• Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing
• Title not available (Why is that?)
• Aronszajn trees on \(\aleph_2\) and \(\aleph_3\).
• The tree property
• Aronszajn trees and the independence of the transfer property
• Guessing models and generalized Laver diamond
• The combinatorial essence of supercompactness
• On the consistency strength of the proper forcing axiom
• Combinatorial Characterization of Supercompact Cardinals

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)