A generalization of Solovay's \Sigma-construction with application to intermediate models

DOI10.1134/S0037446615060117MaRDI QIDQ6250065zbMATH OpenFDO

Authors Vladimir Kanovei

Publication date 23 March 2014

Full work available at URL https://doi.org/10.1134/S0037446615060117

Mathematics Subject Classification ID

Descriptive set theory (03E15) Other aspects of forcing and Boolean-valued models (03E40)

Abstract: A $Sigma$-construction of Solovay is extended to the case of intermediate sets which are not necessarily subsets of the ground model, with a more transparent description of the resulting forcing notion than in the classical paper of Grigorieff. As an application, we prove that, for a given name $t$ (not necessarily a name of a subset of the ground model), the set of all sets of the form $t[G]$ (the $G$-interpretation of $t$), $G$ being generic over the ground model, is Borel. This result was first established by Zapletal by a descriptive set theoretic argument.

This page was built for publication: A generalization of Solovay's $\Sigma$-construction with application to intermediate models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6250065)