## Logic Seminar

Justin MooreCornell University
Raghavan and Todorcevic's proof of a conjecture of Galvin
Tuesday, February 19, 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.