A refinement of Jensen's constructible hierarchy
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.
KeywordsCore Model Structural Hierarchy Truth Predicate Ternary Relation Limit Ordinal
Unable to display preview. Download preview PDF.