In Cohen generic extension, every countable OD set of reals belongs to the ground model
classification
🧮 math.LO
math.AG
keywords
belongscohencountableeveryextensiongenericrealsconstructible
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.