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:

    “and if the day
    is no day for miracles, then the preparations
    are an order one may rest in.
    But one doesn’t want
    rest, one wants miracles.”
    —Denise Levertov (b. 1923)

    “There never comes a point where a theory can be said to be true. The most that one can claim for any theory is that it has shared the successes of all its rivals and that it has passed at least one test which they have failed.”
    —A.J. (Alfred Jules)