Mathematical logic seminar - Oct 26, 2010

Time: 12:00 - 13:20

Room: Wean Hall 7201

Speaker:     Spencer Unger    
Department of Mathematical Sciences
Carnegie Mellon University

Title: Recent work on the tree property I


This is the first in a series of three talks about recent work on the tree property. In this talk I will outline Mitchell's classical proof that omega_2 can have the tree property (relative to the consistency of a weakly compact cardinal).