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 present era grabs everything that was ever written in order to transform it into films, TV programmes, or cartoons. What is essential in a novel is precisely what can only be expressed in a novel, and so every adaptation contains nothing but the non-essential. If a person is still crazy enough to write novels nowadays and wants to protect them, he has to write them in such a way that they cannot be adapted, in other words, in such a way that they cannot be retold.”
—Milan Kundera (b. 1929)
“The human species, according to the best theory I can form of it, is composed of two distinct races, the men who borrow and the men who lend.”
—Charles Lamb (1775–1834)