Proper forcing and L( R)
Abstract
We present two ways in which the model L( R) is canonical assuming the existence of large cardinals. We show that the theory of this model, with ordinal parameters, cannot be changed by small forcing; we show further that a set of ordinals in V cannot be added to L( R) by small forcing. The large cardinal needed corresponds to the consistency strength of ADL( R); roughly ω Woodin cardinals.
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.