pith. sign in

arxiv: 1402.0961 · v1 · pith:A4NLSAURnew · submitted 2014-02-05 · 🧮 math.LO

A generalization of Solovay's Sigma-construction

classification 🧮 math.LO
keywords constructiongroundmodelsetssigmasolovayapplicationargument
0
0 comments X
read the original abstract

A $\Sigma$-construction of Solovay is partially extended to the case of intermediate sets which are not necessarily subsets of the ground model. As an application, we prove that, for a given name $t$, the set of all sets $t[G]$, $G$ being generic over the ground model, is Borel. This result was first established by Zapletal by a totally different descriptive set theoretic argument.

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.