arXiv:1607.02880 Abstract | arXiv Analytics

Published 2016-07-11Version 1

It is true in the Cohen generic extension of L, the constructible universe, that every countable ordinal-definable set of reals belongs to L.

Categories: math.LO

Subjects: 03E15, 03E35, 03E45

Keywords: cohen generic extension, countable od set, reals belongs, ground model, constructible universe

Related articles: Most relevant | Search more

arXiv:2206.08283 [math.LO] (Published 2022-06-16)

Constructing the Constructible Universe Constructively

arXiv:2009.02209 [math.LO] (Published 2020-09-04)

Forcing the $Π^1_3$-Reduction Property

Stefan Hoffelner

arXiv:1609.01032 [math.LO] (Published 2016-09-05)

Countable OD sets of reals belong to the ground model