Matthew Foreman Menachem Magidor Ralf-Dieter Schindler The Consistency Strength of Successive Cardinals with The Tree Property. 1837-1847 2001 66 J. Symb. Log. 4 db/journals/jsyml/jsyml66.html#ForemanMS01