Martin's axiom and \(\Delta_1^2\) well-ordering of the reals (Q1354340)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Martin's axiom and \(\Delta_1^2\) well-ordering of the reals
scientific article

    Statements

    Martin's axiom and \(\Delta_1^2\) well-ordering of the reals (English)
    0 references
    0 references
    0 references
    1 October 1998
    0 references
    Woodin showed that assuming CH and the existence of a measurable cardinal \(\kappa\) which is Woodin, there is no \(\Sigma^2_1\) well-ordering of the reals. He also showed that CH cannot be removed: Assuming \(\kappa\) is an inaccessible cardinal, there is a forcing extension, by a c.c.c. poset of size \(\kappa\), in which \(2^{\aleph_0} =\kappa\), there is a \(\Delta^2_1\) well-ordering of the reals and MA \((\sigma\)-centered) holds. The authors show that assuming \(\kappa\) is an inaccessible cardinal and the GCH holds below \(\kappa\), there is a cofinality preserving forcing extension in which \(2^{\aleph_0} =\kappa\), there is a \(\Delta^2_1\) well-ordering of the reals and MA holds. The notion of forcing is described with great care, and the exposition on the whole is outstanding.
    0 references
    Martin's axiom
    0 references
    \(\Delta^2_1\) well-ordering of the reals
    0 references
    inaccessible cardinal
    0 references
    forcing extension
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references