Algebra Seminar talk

Victor Torres-Perez
Chang's conjecture and the strong tree property

We will show that a strong version of Chang's Conjecture implies the Strong Tree Property for $\omega_2$, a weak version of Todorcevic's Square Principle and the presaturation of the nonstationary ideals on $P_{\omega_2}(\lambda)$ for $\lambda\geq\omega_2$. This is a joint work with Liuzhen Wu.