The consistency strength of successive cardinals with the tree property

Journal of Symbolic Logic 66 (4):1837-1847 (2001)
  Copy   BIBTEX

Abstract

If ω n has the tree property for all $2 \leq n and $2^{ , then for all X ∈ H ℵ ω and $n exists

Other Versions

No versions found

Similar books and articles

The tree property at א ω+2.Sy-David Friedman & Ajdin Halilović - 2011 - Journal of Symbolic Logic 76 (2):477 - 490.
On the consistency of the definable tree property on ℵ.Amir Leshem - 2000 - Journal of Symbolic Logic 65 (3):1204 - 1214.
The tree property at ℵ ω+1.Dima Sinapova - 2012 - Journal of Symbolic Logic 77 (1):279-290.
Free subsets in internally approachable models.P. D. Welch - 2025 - Archive for Mathematical Logic 64 (3):435-443.
The tree property below ℵ ω ⋅ 2.Spencer Unger - 2016 - Annals of Pure and Applied Logic 167 (3):247-261.

Analytics

Added to PP
2009-01-28

Downloads
186 (#217,945)

6 months
53 (#161,428)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Can Philosophy do Anything for Set Theory?Douglas Blue - forthcoming - Journal of Philosophical Logic:1-24.
The tree property up to אω+1.Itay Neeman - 2014 - Journal of Symbolic Logic 79 (2):429-459.
The tree property and the continuum function below.Radek Honzik & Šárka Stejskalová - 2018 - Mathematical Logic Quarterly 64 (1-2):89-102.
Easton's theorem for the tree property below ℵ.Šárka Stejskalová - 2021 - Annals of Pure and Applied Logic 172 (7):102974.

View all 6 citations / Add more citations

References found in this work

Aronszajn trees on ℵ2 and ℵ3.Uri Abraham - 1983 - Annals of Mathematical Logic 24 (3):213-230.
Projectively well-ordered inner models.J. R. Steel - 1995 - Annals of Pure and Applied Logic 74 (1):77-104.
The fine structure of the constructible hierarchy.R. Björn Jensen - 1972 - Annals of Mathematical Logic 4 (3):229.
Optimal proofs of determinacy.Itay Neeman - 1995 - Bulletin of Symbolic Logic 1 (3):327-339.

View all 7 references / Add more references