A definable $\mathsf E_0$-class containing no definable elements
Logic
2018-08-16 v1
Abstract
A generic extension of by a real is defined, in which the -class of is a lightface set containing no ordinal-definable reals.
Cite
@article{arxiv.1408.6642,
title = {A definable $\mathsf E_0$-class containing no definable elements},
author = {Vladimir Kanovei and Vassily Lyubetsky},
journal= {arXiv preprint arXiv:1408.6642},
year = {2018}
}
Comments
arXiv admin note: substantial text overlap with arXiv:1408.3901