A Groszek-Laver pair of undistinguishable E₀ classes
classification
🧮 math.LO
keywords
classesmathsfdefinedextensiongenericgroszek-laverneitherordinal-definable
read the original abstract
A generic extension $L[x,y]$ of $L$ by reals $x,y$ is defined, in which the union of $\mathsf E_0$-classes of $x$ and $y$ is a $\Pi^1_2$ set, but neither of these two $\mathsf E_0$-classes is separately ordinal-definable.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.