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:
“Children need people in order to become human.... It is primarily through observing, playing, and working with others older and younger than himself that a child discovers both what he can do and who he can become—that he develops both his ability and his identity.... Hence to relegate children to a world of their own is to deprive them of their humanity, and ourselves as well.”
—Urie Bronfenbrenner (b. 1917)
“A theory if you hold it hard enough
And long enough gets rated as a creed....”
—Robert Frost (1874–1963)