Aspects of Constructibility

Authors:

ISBN: 978-3-540-06522-7 (Print) 978-3-540-37821-1 (Online)

Table of contents (21 chapters)

previous Page of 2
  1. No Access

    Book Chapter

    Pages 1-23

    Zermelo-Fraenkel set theory

  2. No Access

    Book Chapter

    Pages 24-28

    The constructible universe

  3. No Access

    Book Chapter

    Pages 29-42

    The axiom of constructibility, the condensation lemma, and the consistency of the generalised continuum hypothesis

  4. No Access

    Book Chapter

    Pages 43-52

    The Souslin hypothesis

  5. No Access

    Book Chapter

    Pages 53-58

    The Kurepa hypothesis

  6. No Access

    Book Chapter

    Pages 59-72

    Constructibility and the continuum

  7. No Access

    Book Chapter

    Pages 73-85

    The Jensen hierarchy of constructible sets

  8. No Access

    Book Chapter

    Pages 86-103

    The fine structure of the Jensen hierarchy

  9. No Access

    Book Chapter

    Pages 104-114

    The combinatorial principles {ie104-1}

  10. No Access

    Book Chapter

    Pages 115-118

    The generalised Souslin hypothesis for successor cardinals

  11. No Access

    Book Chapter

    Pages 119-129

    Ineffable cardinals and the generalised Kurepa hypothesis

  12. No Access

    Book Chapter

    Pages 130-137

    Weakly compact cardinals and the generalised Souslin hypothesis

  13. No Access

    Book Chapter

    Pages 138-144

    The Gap-1 two cardinals theorem

  14. No Access

    Book Chapter

    Pages 145-170

    Gap-1 morasses

  15. No Access

    Book Chapter

    Pages 171-182

    The gap-2 two cardinals theorem. (Jensen)

  16. No Access

    Book Chapter

    Pages 183-185

    Small large cardinals

  17. No Access

    Book Chapter

    Pages 186-187

    Medium large cardinals

  18. No Access

    Book Chapter

    Pages 188-205

    Large large cardinals

  19. No Access

    Book Chapter

    Pages 206-213

    Relative constructibility

  20. No Access

    Book Chapter

    Pages 214-228

    The inner model L[μ]

previous Page of 2