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.
No takes yet. Share an insight, caveat, or question.
Golshani et al. (2017) studied this question.