Mathematical logic seminar - February 11, 2014

Time: 12:00 - 13:20

Room: Wean Hall 7201

Speaker:     James Cummings    
Department of Mathematical Sciences
Carnegie Mellon University

Title: Games, trees, colourings and forcing

Abstract:

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"