The Tree Property up to ${\aleph }_{{\omega }^2}$

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 ${\aleph }_2$ and ${\aleph }_{{\omega }^2}$.

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