The tree property at both and
Laura Fontanella, Sy David Friedman (2015)
Fundamenta Mathematicae
Similarity:
We force from large cardinals a model of ZFC in which and both have the tree property. We also prove that if we strengthen the large cardinal assumptions, then in the final model even satisfies the super tree property.