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:

    “He had killed and put to earth so many that his sword broke in two. At length he thought to himself that that was enough massacring and killing for one day, and that the rest should be allowed to escape in order to spread the news.”
    —François Rabelais (1494–1553)

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