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:

    “The fact that behavior is “normal,” or consistent with childhood development, does not necessarily make it desirable or acceptable...Undesirable impulses do not have to be embraces as something good in order to be accepted as normal. Neither does children’s behavior that is unacceptable have to be condemned as “bad,” in order to bring it under control.”
    —Elaine Heffner (20th century)

    “The theory of truth is a series of truisms.”
    —J.L. (John Langshaw)