A generic property of Solovay's set Sigma
classification
🧮 math.LO
keywords
genericorderrelationsigmasolovayextendsforcinggiven
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.