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:
“In order for an individual to partake of the world and contribute to it in a healthy way, he first needs to view that world as a basically kind, friendly, and supportive place. Such an outlook begins to be formed during infancy. It’s essential that the baby establish a fundamental trust in his environment. The infant needs to learn that the world is a nurturing place where his needs will be met.”
—Saf Lerman (20th century)
“Everything to which we concede existence is a posit from the standpoint of a description of the theory-building process, and simultaneously real from the standpoint of the theory that is being built. Nor let us look down on the standpoint of the theory as make-believe; for we can never do better than occupy the standpoint of some theory or other, the best we can muster at the time.”
—Willard Van Orman Quine (b. 1908)