Aspects of Constructibility

Inhaltsverzeichnis

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