[1]: 80 [2]: Lecture 7 [3]: 3616 It is equivalent to a weak form of ◊ on
[4]: 2 [5] F. Burton Jones proved that if it is true, then every separable normal Moore space is metrizable.
[6]: Theorem 5 Weak continuum hypothesis may also refer to the assertion that every uncountable set of real numbers can be placed in bijective correspondence with the set of all reals.
This second assertion was Cantor's original form of the Continuum Hypothesis (CH).
Given the Axiom of Choice, it is equivalent to the usual form of CH, that