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)
“We commonly say that the rich man can speak the truth, can afford honesty, can afford independence of opinion and action;—and that is the theory of nobility. But it is the rich man in a true sense, that is to say, not the man of large income and large expenditure, but solely the man whose outlay is less than his income and is steadily kept so.”
—Ralph Waldo Emerson (1803–1882)