In Cohen generic extension, every countable OD set of reals belongs to the ground model
Abstract
It is true in the Cohen generic extension of L, the constructible universe, that every countable ordinal-definable set of reals belongs to L.
0
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.