N. N. Luzin's problems on the existence of CA-sets without perfect subsets (Q1100201)
From MaRDI portal
![]() | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: N. N. Luzin's problems on the existence of CA-sets without perfect subsets |
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | N. N. Luzin's problems on the existence of CA-sets without perfect subsets |
scientific article |
Statements
N. N. Luzin's problems on the existence of CA-sets without perfect subsets (English)
0 references
1987
0 references
The paper concerns three classical problems of descriptive set theory, stated by N. Luzin: problems of the existence of: (i) a CA-set of cardinality strictly between \(\aleph_ 0\) and \({\mathfrak c}\), (ii) a function whose graph is a CA-set without perfect subsets, (iii) an uncountable CA-set without any perfect subset. As is known from works by \textit{R. Solovay} [Ann. Math., II. Ser. 92, 1-56 (1970; Zbl 0207.009); Found. Math., Symp. Pap. Commem. 60th Birthday K. Gödel, Columbus 1966, 58-73 (1969; Zbl 0188.325)] and \textit{P. S. Novikov} [Tr. Mat. Inst. Steklova 38, 279-316 (1951; Zbl 0053.364)], these problems are insolvable within ZFC set theory. Owing to the known implications between the conjectures stated above, and the Continuum Hypothesis, there are only five logical combinations of them, namely: (1) \(\neg\) (iii) \(\wedge CH\), (2) \(\neg\) (iii) \(\wedge \neg CH\), (3) (ii), (4) (iii) \(\wedge \neg CH\), (5) (iii) \(\wedge \neg\) (ii) \(\wedge CH.\) The consistency of statements (1)-(4) was established in the quoted papers of Solovay and Novikov. The author of the present paper completes this picture giving the proof of the consistency of (5). The model of (5) built up here is \(\omega_ 1\)-Cohen generic extension of a transitive countable model of \(V=L.\)
0 references
CA-set
0 references
Continuum Hypothesis
0 references
consistency
0 references