|Time:|| 12:00 - 13:20
Wean Hall 7201
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).