2012 seminar talk: Cardinal characteristics in Cichon's diagram

Talk held by Martin Goldstern (TU Wien, Austria) at the KGRC seminar on 2012-11-22.


Cichon's diagram describes the relationships between 12 infinite cardinal numbers, among them

"ZFC + $\mathfrak{c}=\aleph_1$" implies of course that all 12 cardinals have the same value. All possible consequences for Cichon's diagram of the axioms "ZFC + $\mathfrak{c}=\aleph_2$" are known, or in other words: for every assignment of the values $\aleph_1$ and $\aleph_2$ to the cardinals in Cichon's diagram it is known whether there is a ZFC-universe in which this assignment is realized.

It is notoriously difficult to construct universes with prescribed properties in which $\mathfrak{c}$ is large (even just larger than $\aleph_2$).

After discussing background and known results, I will highlight some features of a construction that will appear in a joint paper with Arthur Fischer, Jakob Kellner and Saharon Shelah. Our construction is a "creature iteration" (which is almost, but not quite, entirely unlike a product of creature forcings). All universes we construct will satisfy $\mathfrak{d}=\aleph_1$ (which implies, among others, $\operatorname{cov(M)}=\aleph_1$), while the cardinals that are not obviously bounded by $\mathfrak{d}$ can have (almost) arbitrary regular values.

Bottom menu

Kurt Gödel Research Center for Mathematical Logic. Währinger Straße 25, 1090 Wien, Austria. Phone +43-1-4277-50501. Last updated: 2010-12-16, 04:37.