Generalization of one construction by Solovay
- 20 Downloads
The well-known Σ-construction in forcing by Solovay is generalized to the case of intermediate sets that are not subsets of the initial model. Our method gives a more transparent construction of a forcing over an intermediate model than that in the classical paper  by Grigorieff on intermediate models.
Keywordsintermediate model sigma-construction forcing
Unable to display preview. Download preview PDF.
- 3.Kanovei V. G. and Lyubetsky V. A., Modern Set Theory: Borel and Projective Sets [in Russian], MTsNMO, Moscow (2013).Google Scholar