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:

    “In a drama of the highest order there is little food for censure or hatred; it teaches rather self-knowledge and self- respect.”
    —Percy Bysshe Shelley (1792–1822)

    “A theory if you hold it hard enough
    And long enough gets rated as a creed....”
    —Robert Frost (1874–1963)