Proper forcing and L( R)
Itay Neeman, Jindrich Zapletal
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.
Create a lesson
Related papers
The rank problem for metric spaces
Asger Tornquist
Differential equations as difference-differential equations
Wei Li, Thomas Scanlon
Classification of bipartite observables III: simplicity, mixtures and quantum error correction
Eduardo Dueñez, José Iovino
Indiscernible Extraction in Theories with Bounded k-splitting
Connor Watson
Discrete Temporal CSPs et al
Lukas Pieper
Local definable (p,q)-theorem and a refinement
Gareth John Boxall, Charlotte Kestner, Tsinjo Rakotonarivo