The consistency strength of successive cardinals with the tree property

DOI10.2307/2694979zbMath0994.03042OpenAlexW2010312871MaRDI QIDQ4328838

Matthew Foreman, Menachem Magidor, Ralf-Dieter Schindler

Publication date: 29 April 2002

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

Full work available at URL: https://doi.org/10.2307/2694979

zbMATH Keywords

sharpinner modellarge cardinalsdeterminacycore modeltree property

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Determinacy principles (03E60)

Related Items

THE TREE PROPERTY UP TO א_ω+1 ⋮ The tree property and the continuum function below ⋮ A remark on the tree property in a choiceless context ⋮ The tree property at ℵ_ω+2 ⋮ The definable tree property for successors of cardinals ⋮ Easton's theorem for the tree property below \(\aleph_\omega\) ⋮ The strength of choiceless patterns of singular and weakly compact cardinals

Cites Work

• Unnamed Item
• Unnamed Item
• Aronszajn trees on \(\aleph_2\) and \(\aleph_3\).
• Weak covering and the tree property
• Projectively well-ordered inner models
• Weak covering without countable closure
• Successive weakly compact or singular cardinals
• Optimal Proofs of Determinacy
• A finite family weak square principle
• Aronszajn trees and the independence of the transfer property
• The fine structure of the constructible hierarchy