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 to cultivate yourself and to drop no lower than the level of the milieu in which you have landed, it is not enough to read Pickwick and memorize a monologue from Faust.... You need to work continually day and night, to read ceaselessly, to study, to exercise your will.... Each hour is precious.”
—Anton Pavlovich Chekhov (1860–1904)
“Freud was a hero. He descended to the “Underworld” and met there stark terrors. He carried with him his theory as a Medusa’s head which turned these terrors to stone.”
—R.D. (Ronald David)