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:

    “Since [Rousseau’s] time, and largely thanks to him, the Ego has steadily tended to efface itself, and, for purposes of model, to become a manikin on which the toilet of education is to be draped in order to show the fit or misfit of the clothes. The object of study is the garment, not the figure.”
    —Henry Brooks Adams (1838–1918)

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