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 profoundest thoughts of the philosophers have something tricklike about them. A lot disappears in order for something to suddenly appear in the palm of the hand.”
—Elias Canetti (b. 1905)
“Don’t confuse hypothesis and theory. The former is a possible explanation; the latter, the correct one. The establishment of theory is the very purpose of science.”
—Martin H. Fischer (1879–1962)
Related Phrases
Related Words