Mathematical logic seminar - January 22, 2008.
Time:
12:00 - 13:20
Room:
Porter Hall A 19 D
Speaker:
Jeremy Avigad
Department of Philosophy
Carnegie Mellon University
Title:
Mining Furstenberg's proof of Szemeredi's theorem.
Abstract: