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.