Time: | 12:00 - 13:20 |
Room: |
Doherty Hall 4303
|
Speaker: |
James Cummings Department of Mathematical Sciences Carnegie Mellon University |
Title: |
The Generalised Continuum Hypothesis and Jensen's diamond principle.
|
Abstract: | The generalised continuum hypothesis (GCH) is the assertion that for every infinite cardinal kappa, the powerset of kappa has the least possible size (kappa-plus). Jensen's diamond principle (diamond at kappa-plus) is a strengthening of this assertion which is often useful in building objects of size kappa-plus (trees, graphs, colourings, models). Recently Shelah proved that for uncountable kappa these assertions are actually equivalent; I'll give some history and then sketch Shelah's proof. |