加载中…
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.

生成讲解博客的中文版本

生成AI智能校验的中文版本