A definable $\mathsf E_0$-class containing no definable elements
Abstract
A generic extension $L[x]$ of $L$ by a real $x$ is defined, in which the $\mathsf E_0$-class of $x$ is a lightface $\Pi^1_2$ set containing no ordinal-definable reals.
- Publication:
-
arXiv e-prints
- Pub Date:
- August 2014
- DOI:
- 10.48550/arXiv.1408.6642
- arXiv:
- arXiv:1408.6642
- Bibcode:
- 2014arXiv1408.6642K
- Keywords:
-
- Mathematics - Logic;
- 03E35;
- 03E45
- E-Print:
- arXiv admin note: substantial text overlap with arXiv:1408.3901