Search results
Results from the WOW.Com Content Network
The continuum hypothesis was advanced by Georg Cantor in 1878, [1] and establishing its truth or falsehood is the first of Hilbert's 23 problems presented in 1900. The answer to this problem is independent of ZFC, so that either the continuum hypothesis or its negation can be added as an axiom to ZFC set theory, with the resulting theory being ...
the continuum hypothesis or CH (Gödel produced a model of ZFC in which CH is true, showing that CH cannot be disproven in ZFC; Paul Cohen later invented the method of forcing to exhibit a model of ZFC in which CH fails, showing that CH cannot be proven in ZFC. The following four independence results are also due to Gödel/Cohen.);
Generalized continuum hypothesis generalized continuum hypothesis The generalized continuum hypothesis states that 2 א α = א α+1 generic 1. A generic filter of a poset P is a filter that intersects all dense subsets of P that are contained in some model M. 2. A generic extension of a model M is a model M[G] for some generic filter G. gimel 1.
The continuum hypothesis, which asserts that there are no sets whose cardinality is strictly between and , means that =. [2] The truth or falsity of this hypothesis is undecidable and cannot be proven within the widely used Zermelo–Fraenkel set theory with axiom of choice (ZFC).
The cardinality of the continuum is the size of the set of real numbers. The continuum hypothesis is sometimes stated by saying that no cardinality lies between that of the continuum and that of the natural numbers , ℵ 0 {\displaystyle \aleph _{0}} , or alternatively, that c = ℵ 1 {\displaystyle {\mathfrak {c}}=\aleph _{1}} .
Suslin hypothesis; Remarks: The consistency of V=L is provable by inner models but not forcing: every model of ZF can be trimmed to become a model of ZFC + V=L. The diamond principle implies the continuum hypothesis and the negation of the Suslin hypothesis. Martin's axiom plus the negation of the continuum hypothesis implies the Suslin hypothesis.
The continuum hypothesis is equivalent to =. The generalized continuum hypothesis says the sequence of beth numbers thus defined is the same as the sequence of aleph numbers, i.e., = for all ordinals .
The continuum hypothesis and the generalized continuum hypothesis; The Suslin conjecture; The following statements (none of which have been proved false) cannot be proved in ZFC (the Zermelo–Fraenkel set theory plus the axiom of choice) to be independent of ZFC, under the added hypothesis that ZFC is consistent.