Exact equiconsistency results for \(\Delta_ 3^ 1\)-sets of reals (Q688847): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
RedirectionBot (talk | contribs)
Removed claim: reviewed by (P1447): Item:Q334981
Property / reviewed by
 
Property / reviewed by: Janusz Pawlikowski / rank
Normal rank
 

Revision as of 06:02, 13 February 2024

scientific article
Language Label Description Also known as
English
Exact equiconsistency results for \(\Delta_ 3^ 1\)-sets of reals
scientific article

    Statements

    Exact equiconsistency results for \(\Delta_ 3^ 1\)-sets of reals (English)
    0 references
    0 references
    28 November 1993
    0 references
    Raisonnier proved that if (a) all \(\Sigma^ 1_ 2\) sets of reals are Lebesgue measurable and (b) all \(\Sigma^ 1_ 3\) sets are \(K_ \sigma\) regular, then \(\aleph_ 1\) is inaccessible in the constructible universe. The author relaxes \(\Sigma^ 1_ 3\) in (b) to \(\Pi^ 1_ 2\) and shows that one cannot relax it to \(\Sigma^ 1_ 2\). He gives a model in which all \(\Sigma^ 1_ 2\) sets are \(K_ \sigma\) regular and all \(\Delta^ 1_ 3\) sets are Lebesgue measurable, Ramsey and have the Baire property. He also gives a model in which all \(\Delta^ 1_ 3\) sets have the Baire property but not all \(\Delta^ 1_ 2\) sets are measurable.
    0 references
    sets of reals
    0 references
    Lebesgue measurable
    0 references
    Ramsey
    0 references
    Baire property
    0 references

    Identifiers