Strong Chang's Conjecture, Semi-Stationary Reflection, the Strong Tree Property and two-cardinal square principles

Torres-Perez, V; Wu, LZ

Torres-Perez, V (reprint author), TU Wien, Inst Diskrete Math & Geometrie, Wiedner Hauptstr 8-104, A-1010 Vienna, Austria.

FUNDAMENTA MATHEMATICAE, 2017; 236 (3): 247

Abstract

We prove that a strong version of Chang's Conjecture implies both the Strong Tree Property for omega(2) and the negation of the square principle squar......

Full Text Link