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:
“Until the end of the Middle Ages, and in many cases afterwards too, in order to obtain initiation in a trade of any sort whatever—whether that of courtier, soldier, administrator, merchant or workman—a boy did not amass the knowledge necessary to ply that trade before entering it, but threw himself into it; he then acquired the necessary knowledge.”
—Philippe Ariés (20th century)
“There never comes a point where a theory can be said to be true. The most that one can claim for any theory is that it has shared the successes of all its rivals and that it has passed at least one test which they have failed.”
—A.J. (Alfred Jules)