EN
We force from large cardinals a model of ZFC in which $ℵ_{ω+1}$ and $ℵ_{ω+2}$ both have the tree property. We also prove that if we strengthen the large cardinal assumptions, then in the final model $ℵ_{ω+2}$ even satisfies the super tree property.