Advertisement

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

Core Model Structural Hierarchy Truth Predicate Ternary Relation Limit Ordinal 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

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