Matthew Foreman Menachem Magidor A Very Weak Square Principle. 175-196 1997 62 J. Symb. Log. 1 db/journals/jsyml/jsyml62.html#ForemanM97