Time:  12:00  13:20 
Room: 
Wean Hall 7201

Speaker: 
James Cummings Department of Mathematical Sciences Carnegie Mellon University 
Title:  Forcing iterations that add no new reals.

Abstract: 
I will discuss the problem of iterating forcing without adding reals. If time allows I will outline a proof that CH does not imply diamond (this is a result of Jensen, the proof I will sketch is due to Shelah). 