Zermelo-Fraenkel set theory.- The constructible universe.- The axiom of constructibility, the condensation lemma, and the consistency of the generalised continuum hypothesis.- The Souslin hypothesis.- The Kurepa hypothesis.- Constructibility and the continuum.- The Jensen hierarchy of constructible sets.- The fine structure of the Jensen hierarchy.- The combinatorial principles {ie104-1}.- The generalised Souslin hypothesis for successor cardinals.- Ineffable cardinals and the generalised Kurepa hypothesis.- Weakly compact cardinals and the generalised Souslin hypothesis.- The Gap-1 two cardinals theorem.- Gap-1 morasses.- The gap-2 two cardinals theorem. (Jensen).- Small large cardinals.- Medium large cardinals.- Large large cardinals.- Relative constructibility.- The inner model L[?].- Strongly compact cardinals and relative constructibility.
...
閱讀全文
