Jensen's * theory and the combinatorial content of V=L
Abstract
The purpose of this article is to indicate how a reformulation of Jensen's * theory (developed for the study of core models) can be used to provide a more satisfactory treatment of uniformization, hulls and Skolem functions for the Jα's. Then we use this approach to fine structure to formulate a principle intended to capture the combinatorial content of the axiom V=L.
0
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.