|
This article is cited in 7 scientific papers (total in 7 papers)
Models of set theory in which the separation theorem fails
V. G. Kanovei, V. A. Lyubetsky Institute for Information Transmission Problems of the Russian Academy of Sciences (Kharkevich Institute), Moscow
Abstract:
We use a finite-support product of Jensen-minimal forcings to define a model of set theory in which the separation theorem fails for the projective classes $\mathbf{\Sigma}^1_n$ and $\mathbf{\Pi}^1_n$, for a given $n\geqslant3$.
Keywords:
separability, models, Jensen forcing, iteration.
Received: 28.05.2019 Revised: 21.07.2020
Citation:
V. G. Kanovei, V. A. Lyubetsky, “Models of set theory in which the separation theorem fails”, Izv. RAN. Ser. Mat., 85:6 (2021), 164–204; Izv. Math., 85:6 (2021), 1181–1219
Linking options:
https://www.mathnet.ru/eng/im8937https://doi.org/10.1070/IM8937 https://www.mathnet.ru/eng/im/v85/i6/p164
|
Statistics & downloads: |
Abstract page: | 654 | Russian version PDF: | 95 | English version PDF: | 38 | Russian version HTML: | 518 | References: | 34 | First page: | 12 |
|