The Tree Property up to ℵ_ω²

2016/05/20 by Yair Hayut, Hayut, Yair
Mathematics · #FOS: Mathematics #Logic (math.LO) #math.LO

paper · pdf · doi:10.48550/arxiv.1605.06271

The argument is flawed. In particular, the proof of Lemma 31 is wrong

arxiv created 2020/02/05 · arxiv updated 2020/02/06

Abstract

Starting from a stationary set of supercompact cardinals we find a generic extension in which the tree property holds at every regular cardinal between ℵ₂ and ℵ_ω².

Related

• Easton's theorem for the tree property below aleph_omega
• Tree Properties at Successors of Singulars of Many Cofinalities
• The strong tree property and weak square
• The tree property on long intervals of regular cardinals
• Tree property at successor of a singular limit of measurable cardinals