|
This article is cited in 9 scientific papers (total in 9 papers)
On the nonemptiness of classes in axiomatic set theory
V. G. Kanovei
Abstract:
Theorems are proved on the consistency with $ZF$, for $n\geqslant2$, of each of the following three propositions: (1) there exists an $L$-minimal (in particular, nonconstructive) $a\subseteq\omega$ such that $V=L[a]$ and $\{a\}\in\Pi_n^1$, but every $b\subseteq\omega$ of class $\Sigma_n^1$ with constructive code is itself constructive; (2) there exist $a,b\subseteq\omega$ such that their $L$-degrees differ by a formula from $\Pi_n^1$, but not by formulas from $\Sigma_n^1$ with constants from $L$ ($X$ and $Y$ are said to differ by a formula $\sim[(\exists\,x\in X)\varphi(x)\equiv(\exists\,y\in Y)\varphi(y)])$; (3) there exists an infinite, but Dedekind finite, set $X\in\mathscr P(\omega)$ of class $\Pi_n^1$, whereas there are no such sets of class $\underline\Sigma_n^1$. The proof uses Cohen's forcing method.
Bibliography: 17 titles.
Received: 06.10.1975 Revised: 22.02.1977
Citation:
V. G. Kanovei, “On the nonemptiness of classes in axiomatic set theory”, Izv. Akad. Nauk SSSR Ser. Mat., 42:3 (1978), 550–579; Math. USSR-Izv., 12:3 (1978), 507–535
Linking options:
https://www.mathnet.ru/eng/im1779https://doi.org/10.1070/IM1978v012n03ABEH001997 https://www.mathnet.ru/eng/im/v42/i3/p550
|
Statistics & downloads: |
Abstract page: | 328 | Russian version PDF: | 107 | English version PDF: | 9 | References: | 57 | First page: | 2 |
|