不可区分$E_0$类的Groszek-Laver对
A Groszek-Laver pair of undistinguishable $E_0$ classes
摘要：
定义了$L$的实$x,y$的泛型扩张$L[x,y]$，其中$x$和$y$的$\mathsf E_0$类的并集是一个$Π^1_2$集，但这两个$\mathsf E_0$类都不是可分别按序定义的.
英文摘要：
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 $Π^1_2$ set, but neither of these two $\mathsf E_0$-classes is separately ordinal-definable.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
