Solovay的$Σ$ -构造的推广
A generalization of Solovay's $Σ$-construction
摘要：
Solovay的一个$Σ$ -构造部分地扩展到中间集的情况下，不一定是地面模型的子集。作为一个应用程序，我们证明了，对于一个给定的名称$t$，所有的集合$t[G]$，$G$是通用的地面模型，是博雷尔。这一结果首先建立了Zapletal由一个完全不同的描述集理论的论点。
英文摘要：
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 $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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
