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:

    “It is well within the order of things
    That man should listen when his mate sings;
    But the true male never yet walked
    Who liked to listen when his mate talked.”
    —Anna Wickham (1884–1947)

    “Every theory is a self-fulfilling prophecy that orders experience into the framework it provides.”
    —Ruth Hubbard (b. 1924)