Mathematical logic seminar - Apr 26, 2011

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.


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).