The strong tree property and weak square

Yair Hayut, Spencer Unger

Published 2016-01-28Version 1

We show that it is consistent, relative to $\omega$ many supercompact cardinals, that the super tree property holds at $\aleph_n$ for all $2 \leq n < \omega$ but there are weak square and a very good scale at $\aleph_{\omega}$.