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:

    When we understand that man is the only animal who must create meaning, who must open a wedge into neutral nature, we already understand the essence of love. Love is the problem of an animal who must find life, create a dialogue with nature in order to experience his own being.
    Ernest Becker (1924–1974)

    ... liberal intellectuals ... tend to have a classical theory of politics, in which the state has a monopoly of power; hoping that those in positions of authority may prove to be enlightened men, wielding power justly, they are natural, if cautious, allies of the “establishment.”
    Susan Sontag (b. 1933)