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