A Groszek-Laver pair of undistinguishable $E_0$ classes
Logic
2016-01-15 v1
Abstract
A generic extension of by reals is defined, in which the union of -classes of and is a set, but neither of these two -classes is separately ordinal-definable.
Cite
@article{arxiv.1601.03477,
title = {A Groszek-Laver pair of undistinguishable $E_0$ classes},
author = {Mohammad Golshani and Vladimir Kanovei and Vassily A Lyubetsky},
journal= {arXiv preprint arXiv:1601.03477},
year = {2016}
}