Logic Seminar
Tuesday, February 12, 2019 - 2:55pm
Malott 206
Galvin conjectured that if the unordered pairs of real numbers are colored with finitely many colors, then there is a subset $X$ of $\mathbb{R}$ which is homeomorphic to $\mathbb{Q}$ such that only two colors are used on the pairs from $X$. Recently Raghavan and Todorcevic proved this conjecture assuming the existence of a proper class of Woodin cardinals. I will present their proof in two lectures.