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:
“Since [Rousseau’s] time, and largely thanks to him, the Ego has steadily tended to efface itself, and, for purposes of model, to become a manikin on which the toilet of education is to be draped in order to show the fit or misfit of the clothes. The object of study is the garment, not the figure.”
—Henry Brooks Adams (1838–1918)
“... the first reason for psychology’s failure to understand what people are and how they act, is that clinicians and psychiatrists, who are generally the theoreticians on these matters, have essentially made up myths without any evidence to support them; the second reason for psychology’s failure is that personality theory has looked for inner traits when it should have been looking for social context.”
—Naomi Weisstein (b. 1939)