Extensions with the approximation and cover properties have no new large cardinals
Abstract
If an extension Vbar of V satisfies the delta approximation and cover properties for classes and V is a class in Vbar, then every suitably closed embedding j:Vbar to Nbar in Vbar with critical point above delta restricts to an embedding j|V:V to N amenable to the ground model V. In such extensions, therefore, there are no new large cardinals above delta. This result extends work in math.LO/9808011.
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.