A generalization of Solovay's $\Sigma$-construction
Logic
2018-08-16 v1
Abstract
A -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 , the set of all sets , being generic over the ground model, is Borel. This result was first established by Zapletal by a totally different descriptive set theoretic argument.
Keywords
Cite
@article{arxiv.1402.0961,
title = {A generalization of Solovay's $\Sigma$-construction},
author = {Vladimir Kanovei},
journal= {arXiv preprint arXiv:1402.0961},
year = {2018}
}