Mathematical logic seminar – Jan 31 2017
Time: 3:30pm – 4:30 pm
Room: Wean Hall 8220
Speaker: Andy Zucker
Department of Mathematical Sciences
Title: An ultrafilter proof of the 2-dimensional Halpern-Laüchli Theorem
We will discuss the Halpern-Laüchli Theorem and provide a new proof in dimension 2. The idea is to use an ultrafilter on ω to turn combinatorics on trees into combinatorics on the branches, that is Cantor space. Time permitting, we will discuss obstacles to generalizing the proof to higher dimensions.