|
|||||
|
|
A Groszek‐Laver pair of undistinguishable ‐classes |
|
| Abstract: | A generic extension  of the constructible universe  by reals  is defined, in which the union of  ‐classes of x and y is a lightface  set, but neither of these two  ‐classes is separately ordinal‐definable. |
| Keywords: | |