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].
Citation
Dima Sinapova. "The tree property at ℵω+1." J. Symbolic Logic 77 (1) 279 - 290, March 2012. https://doi.org/10.2178/jsl/1327068703
Information
