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:
“Don’t order any black things. Rejoice in his memory; and be radiant: leave grief to the children. Wear violet and purple.... Be patient with the poor people who will snivel: they don’t know; and they think they will live for ever, which makes death a division instead of a bond.”
—George Bernard Shaw (1856–1950)
“The great tragedy of science—the slaying of a beautiful theory by an ugly fact.”
—Thomas Henry Huxley (1825–1895)
Related Phrases
Related Words