Кановей В. Г., Любецкий В. А.
Обобщение одной конструкции Соловея

Известная Σ?-конструкция Соловея в теории форсинга обобщена на случай промежуточных множеств, не являющихся подмножествами исходной модели. Наш метод приносит более прозрачное построение форсинга над промежуточной моделью, чем в классической работе Григорьева [1] о промежуточных моделях.

Kanovei V. G. and Lyubetsky V. A.
Generalization of one construction by Solovay

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 [1] by Grigorieff on intermediate models.

DOI 10.17377/smzh.2015.56.611
Ключевые слова: промежуточные модели, сигма-конструкция, форсинг.

Полный текст статьи / Full texts:

• PDF file
• PostScript file