List of Statements Undecidable in ZFC - Order Theory

Order Theory

The answer to Suslin's problem is independent of ZFC. The diamond principle ◊ proves the existence of a Suslin line, while MA + ¬CH proves that no Suslin line exists.

Existence of Kurepa trees is independent of ZFC.

Read more about this topic:  List Of Statements Undecidable In ZFC

Famous quotes containing the words order and/or theory:

    “Oh, Blessed rage for order, pale Ramon,
    The maker’s rage to order words of the sea,
    Words of the fragrant portals, dimly-starred,
    And of ourselves and of our origins,
    In ghostlier demarcations, keener sounds.”
    —Wallace Stevens (1879–1955)

    “every subjective phenomenon is essentially connected with a single point of view, and it seems inevitable that an objective, physical theory will abandon that point of view.”
    —Thomas Nagel (b. 1938)