A generic property of Solovay's set Sigma
classification
🧮 math.LO
keywords
genericorderrelationsigmasolovayextendsforcinggiven
pith:L3BJ4AHO Add to your LaTeX paper
What is a Pith Number?\usepackage{pith}
\pithnumber{L3BJ4AHO}
Prints a linked pith:L3BJ4AHO badge after your title and writes the identifier into PDF metadata. Compiles on arXiv with no extra files. Learn more
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.