Mathematical logic seminar - February 10, 2009

Time: 12:00 - 13:20

Room: Baker Hall 150

Speaker:     Spencer Unger    
Department of Mathematical Sciences
Carnegie Mellon University

Title: The tree property II


This will be the second in a series of three talks surveying a result due to Mitchell, that Con(ZFC + there is a weakly compact cardinal) implies Con(ZFC + omega_2 has the tree property). (Note: This series of talks is designed as a sort of lead up to Itay Neeman's workshop at the end of the month.)