N. N. Luzin's problems on the existence of CA-sets without perfect subsets

DOI10.1007/BF01159870MaRDI QIDQ1100201zbMATH OpenFDO

Authors Vladimir Kanovei

Publication date 1987

Published in Mathematical Notes (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01159870

zbMATH Keywords

CA-setconsistencyContinuum Hypothesis

Mathematics Subject Classification ID

Descriptive set theory (03E15) Consistency and independence results (03E35) Continuum hypothesis and Martin's axiom (03E50)

Review text

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.\)

Recommendations

• Perfect subsets of invariant CA-sets
• On a perfect set theorem of A. H. Stone and N. N. Lusin’s constituents
• scientific article; zbMATH DE number 3475399
• Problem of the existence of nonborel \(AF_{\|}\)-sets
• N. N. Luzin's problems on imbeddability and decomposability of projective sets
• scientific article; zbMATH DE number 5005696
• On the computability of perfect subsets of sets with positive measure
• On the existence of infinite, non-trivial \(F\)-sets
• Publication:4489171
• On non-complete sets and Restivo's conjecture

Cites work

• A model of set-theory in which every set of reals is Lebesgue measurable
• scientific article; zbMATH DE number 3080693 (Why is no real title available?)
• On the Cardinality of $$ \sum_2^1 $$ Sets of Reals
• Perfect subsets of definable sets of real numbers

Cited in

(6)

• On Lusin's restricted continuum problem
• Luzin's problem on constituents and their fate
• scientific article; zbMATH DE number 175835 (Why is no real title available?)
• On a perfect set theorem of A. H. Stone and N. N. Lusin’s constituents
• An answer to Luzin's question about the separability of CA-curves
• N. N. Luzin's problems on imbeddability and decomposability of projective sets

This page was built for publication: N. N. Luzin's problems on the existence of CA-sets without perfect subsets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1100201)