Luzin's problem on constituents and their fate (Q2266011): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Added link to MaRDI item.
links / mardi / namelinks / mardi / name
 

Revision as of 09:43, 2 February 2024

scientific article
Language Label Description Also known as
English
Luzin's problem on constituents and their fate
scientific article

    Statements

    Luzin's problem on constituents and their fate (English)
    0 references
    0 references
    0 references
    1983
    0 references
    The formulations and history of several Luzin and Lebesgue problems related to the continuum hypothesis are given, e.g.: ''Lebesgue problem'': Is there some ''individual'' example of an \(\omega_ 1\)-sequence of different points of the continuum? or ''Restreint continuum problem'' of Luzin: Is it possible to introduce an ''individual'' example of a partition of reals to \(\aleph_ 1\) non-empty Borel sets of bounded rank? Instead of the requirement of individual examples the related Luzin problems employ the concept of sieve, e.g.: Problem I. Is there an open sieve C in \({\mathbb{R}}\) such that every exterior constituent contains exactly one point? or Problem V. Is there a simple sieve C such that uncountably many of all constituents are non-empty and all of them have uniformly bounded rank? It turns out that some deep results from the axiomatic set theory including results of the second author give almost complete answers to all given problems. The problems I and V have negative solutions. The other problems have negative solutions if the axiom of the existence of an inaccessible cardinal (IC) is added to ZFC (IC is necessary for this), and positive solutions if the axiom of constructibility is used.
    0 references
    0 references
    Luzin sieve
    0 references
    constructive set
    0 references
    coanalytic set
    0 references
    Borel set
    0 references
    continuum hypothesis
    0 references
    inaccessible cardinal
    0 references
    axiom of constructibility
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references