The tree property at the first and double successors of a singular

摘要

We show that given omega many supercompact cardinals and a weakly compact above them, there is a generic extension in which the tree property holds at the first and second successor of a strong limit singular cardinal.