Mathematical logic seminar - February 24, 2009

Time: 12:00 - 13:20

Room: Baker Hall 150

Speaker:     Spencer Unger    
Department of Mathematical Sciences
Carnegie Mellon University

Title: The tree property IV

Abstract:

This will be the fourth and last in a series of 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.)