A generic property of Solovay's set $\Sigma$

Abstract

We prove that Solovay's set $\Sigma$ is generic over the ground model via a forcing notion whose order relation $\subseteq$-extends the given order relation.

4 pages