List Of Statements Undecidable In ZFC
The mathematical statements discussed below are provably undecidable in ZFC (the Zermelo–Fraenkel axioms plus the axiom of choice, the canonical axiomatic set theory of contemporary mathematics), assuming that ZFC is consistent.
Other articles related to "list of statements undecidable in zfc, zfc, statement":
... compact Hausdorff space) into any other Banach algebra, was independent of ZFC ... Akemann and Nik Weaver showed in 2003 that the statement "there exists a counterexample to Naimark's problem which is generated by ℵ1, elements" is independent of ZFC ... Miroslav Bačák and Petr Hájek proved in 2008 that the statement "every Asplund space of density character ω1 has a renorming with the Mazur intersection property ...
Famous quotes containing the words list of, statements and/or list:
“Modern tourist guides have helped raised tourist expectations. And they have provided the nativesfrom Kaiser Wilhelm down to the villagers of Chichacestenangowith a detailed and itemized list of what is expected of them and when. These are the up-to- date scripts for actors on the tourists stage.”
—Daniel J. Boorstin (b. 1914)
“Dogmatic theological statements are neither logical propositions nor poetic utterances. They are shaggy dog stories; they have a point, but he who tries too hard to get it will miss it.”
—W.H. (Wystan Hugh)
“Thirtythe promise of a decade of loneliness, a thinning list of single men to know, a thinning brief-case of enthusiasm, thinning hair.”
—F. Scott Fitzgerald (18961940)