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:

    “Kicking his mother until she let go of his soul
    Has given his a healthy appetite: clearly, her role
    In the New Order must be
    To supply and deliver his raw materials free;”
    —W.H. (Wystan Hugh)

    “Lucretius
    Sings his great theory of natural origins and of wise conduct; Plato
    smiling carves dreams, bright cells
    Of incorruptible wax to hive the Greek honey.”
    —Robinson Jeffers (1887–1962)