The Complexity of the Core Model
Abstract
We use the Sigma13 absoluteness theorem to show that the complexity of the statement "(omega,E) is isomorphic to an initial segment of the core model" is Pi14, and that the complexity of the statement "(omega,E) is isomorphic to a member of the core model" is Delta15.
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.