An Elementary Approach to the Fine Structure of L

DOI10.2307/421099zbMath0896.03042OpenAlexW2148637706MaRDI QIDQ4382501

Peter Koepke, Sy-David Friedman

Publication date: 1 October 1998

Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: http://www.math.ucla.edu/~asl/bsl/0304-toc.htm

zbMATH Keywords

Skolem functionsconstructible hierarchyfine structure of \(L\)global square

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45)

Related Items (7)

1998 European Summer Meeting of the Association for Symbolic Logic ⋮ Global square and mutual stationarity at the \(\aleph_n\) ⋮ 1999 European Summer Meeting of the Association for Symbolic Logic ⋮ A Computational Approach to an Alternative Working Environment for the Constructible Universe ⋮ Square below a non-weakly compact cardinal ⋮ Hyperfine structure theory and gap 1 morasses ⋮ SET FORCING AND STRONG CONDENSATION FORH(ω₂)

Cites Work

• The fine structure of the constructible hierarchy
• Unnamed Item
• Unnamed Item

This page was built for publication: An Elementary Approach to the Fine Structure of L