Countable OD sets of reals belong to the ground model
Logic
2018-08-16 v3
Abstract
It is true in the Cohen, Solovay-random, dominaning, and Sacks generic extension that every countable ordinal-definable set of reals belongs to to the ground universe
Cite
@article{arxiv.1609.01032,
title = {Countable OD sets of reals belong to the ground model},
author = {Vladimir Kanovei and Vassily Lyubetsky},
journal= {arXiv preprint arXiv:1609.01032},
year = {2018}
}
Comments
16 pages