The consistency strength of successive cardinals with the tree property

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

Abstract
If ω n has the tree property for all $2 \leq n and $2^{ , then for all X ∈ H ℵ ω and $n exists
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2694979
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 47,195
Through your library

References found in this work BETA

Set Theory.Keith J. Devlin - 1981 - Journal of Symbolic Logic 46 (4):876-877.
Aronszajn Trees and the Independence of the Transfer Property.William Mitchell - 1972 - Annals of Pure and Applied Logic 5 (1):21.
Projectively Well-Ordered Inner Models.J. R. Steel - 1995 - Annals of Pure and Applied Logic 74 (1):77-104.
Aronszajn Trees on ℵ2 and ℵ3.Uri Abraham - 1983 - Annals of Pure and Applied Logic 24 (3):213-230.
Optimal Proofs of Determinacy.Itay Neeman - 1995 - Bulletin of Symbolic Logic 1 (3):327-339.

View all 7 references / Add more references

Citations of this work BETA

The Tree Property Up to אω+1.Itay Neeman - 2014 - Journal of Symbolic Logic 79 (2):429-459.
A Remark on the Tree Property in a Choiceless Context.Arthur W. Apter - 2011 - Archive for Mathematical Logic 50 (5-6):585-590.

Add more citations

Similar books and articles

The Consistency Strength of the Free-Subset Property for Ωω.Peter Koepke - 1984 - Journal of Symbolic Logic 49 (4):1198 - 1204.
The Consistency Strength of an Infinitary Ramsey Property.George Kafkoulis - 1994 - Journal of Symbolic Logic 59 (4):1158-1195.
Successive Weakly Compact or Singular Cardinals.Ralf-Dieter Schindler - 1999 - Journal of Symbolic Logic 64 (1):139-146.
The Largest Countable Inductive Set is a Mouse Set.Mitch Rudominer - 1999 - Journal of Symbolic Logic 64 (2):443-459.
The Canary Tree Revisited.Tapani Hyttinen & Mika Rautila - 2001 - Journal of Symbolic Logic 66 (4):1677-1694.
On the Consistency of the Definable Tree Property on ℵ.Amir Leshem - 2000 - Journal of Symbolic Logic 65 (3):1204 - 1214.

Analytics

Added to PP index
2009-01-28

Total views
32 ( #291,062 of 2,289,525 )

Recent downloads (6 months)
4 ( #307,373 of 2,289,525 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature