|Time:|| 12:00 - 13:20
Wean Hall 7201
Department of Mathematical Sciences
Carnegie Mellon University
Games, trees, colourings and forcing
I will discuss some connections between games, trees, Ramsey-type theorems and forcing. If time allows I will sketch a proof of a theorem by Foreman and Magidor on "mutual stationarity"