|Time:|| 12:00 - 13:20
Wean Hall 7201
Department of Mathematical Sciences
Carnegie Mellon University
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).