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:

    “A sleeping man holds in a circle around him the thread of the hours, the order of years and of worlds. He consults them instinctively upon awaking and in one second reads in them the point of the earth that he occupies, the time past until his arousal; but their ranks can be mingled or broken.”
    —Marcel Proust (1871–1922)

    “The great tragedy of science—the slaying of a beautiful theory by an ugly fact.”
    —Thomas Henry Huxley (1825–1895)