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:

    “They are the lovers of law and order who observe the law when the government breaks it.”
    —Henry David Thoreau (1817–1862)

    “The theory [before the twentieth century] ... was that all the jobs in the world belonged by right to men, and that only men were by nature entitled to wages. If a woman earned money, outside domestic service, it was because some misfortune had deprived her of masculine protection.”
    —Rheta Childe Dorr (1866–1948)