The strong tree property and weak square

摘要

We show that it is consistent, relative to ω many supercompact cardinals, that the super tree property holds at ?_n for all 2 ≤ n < ω but there are weak square and a very good scale at ?_ω.