A refinement of Jensen's constructible hierarchy

  • Peter Koepke
  • Marc van Eijmeren
Conference paper
Part of the Trends in Logic book series (TREN, volume 23)

Appropriate hierarchies are essential for the study of minimal or constructible inner models of set theory, in particular for proving strong combinatorial principles in those models. We define a fine structural hierarchy (Fαá) and compare it to Jensen’s well-known Jáα-hierarchy for Güdel’s constructible universe L.

Keywords

Boris Verse 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Kluwer Academic Publishers 2004

Authors and Affiliations

  • Peter Koepke
    • 1
  • Marc van Eijmeren
    • 2
  1. 1.Mathematisches InstitutRheinische Friedrich-Wilhelms-Universität BonnGermany
  2. 2.Netherlands

Personalised recommendations