Logic Seminar

Tuesday, March 18, 2025 2:00 pm - 3:00 pm EDT (GMT -04:00)

Spencer Unger, University of Toronto

Proofs of countable Ramsey theorems

We discuss the various proofs of Ramsey theorems involving colorings of countable sets with additional structure.  To illustrate a typical argument which proves an infinite Ramsey statement from a finite one, we sketch Baumgartner's proof of Hindman's theorem and report on some ongoing related projects.

MC 5479