The tree property at ℵ ω+1

Journal of Symbolic Logic 77 (1):279-290 (2012)

Abstract
We show that given ω many supercompact cardinals, there is a generic extension in which there are no Aronszajn trees at ℵω+1. This is an improvement of the large cardinal assumptions. The previous hypothesis was a huge cardinal and ω many supercompact cardinals above it, in Magidor—Shelah [7]
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2178/jsl/1327068703
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: 39,566
Through your library

References found in this work BETA

Squares, Scales and Stationary Reflection.James Cummings, Matthew Foreman & Menachem Magidor - 2001 - Journal of Mathematical Logic 1 (01):35-98.
Aronszajn Trees and Failure of the Singular Cardinal Hypothesis.Itay Neeman - 2009 - Journal of Mathematical Logic 9 (1):139-157.
The Tree Property at Successors of Singular Cardinals.Menachem Magidor & Saharon Shelah - 1996 - Archive for Mathematical Logic 35 (5-6):385-404.

View all 7 references / Add more references

Citations of this work BETA

The Tree Property Belowℵω⋅2.Spencer Unger - 2016 - Annals of Pure and Applied Logic 167 (3):247-261.

Add more citations

Similar books and articles

On the Consistency of the Definable Tree Property on ℵ.Amir Leshem - 2000 - Journal of Symbolic Logic 65 (3):1204 - 1214.
An Smax Variation for One Souslin Tree.Paul Larson - 1999 - Journal of Symbolic Logic 64 (1):81 - 98.
On Iterating Semiproper Preorders.Tadatoshi Miyamoto - 2002 - Journal of Symbolic Logic 67 (4):1431-1468.
Building Iteration Trees.Alessandro Andretta - 1991 - Journal of Symbolic Logic 56 (4):1369-1384.
Trashing Life’s Tree.L. R. Franklin-Hall - 2010 - Biology and Philosophy 25 (4):689-709.
Species, Genes, and the Tree of Life.Joel Velasco - 2010 - British Journal for the Philosophy of Science 61 (3):599-619.
Lexicalized Non-Local MCTAG with Dominance Links is NP-Complete.Lucas Champollion - 2011 - Journal of Logic, Language and Information 20 (3):343-359.
Finite Tree Property for First-Order Logic with Identity and Functions.Merrie Bergmann - 2005 - Notre Dame Journal of Formal Logic 46 (2):173-180.

Analytics

Added to PP index
2012-01-21

Total views
7 ( #796,228 of 2,325,888 )

Recent downloads (6 months)
1 ( #927,055 of 2,325,888 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature