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 get to East Russet you take the Vermont Central as far as Twitchells Falls and change there for Torpid River Junction, where a spur line takes you right into Gormley. At Gormley you are met by a buckboard which takes you back to Torpid River Junction again.”
—Robert Benchley (18891945)
“Could Shakespeare give a theory of Shakespeare?”
—Ralph Waldo Emerson (18031882)