Statement:
\(\aleph_{1}\le 2^{\aleph_{0}}\).
Howard_Rubin_Number: 170
Parameter(s): This form does not depend on parameters
This form's transferability is: Transferable
This form's negation transferability is: Negation Transferable
Article Citations:
Bernstein-1908: Zur Theorie der trigonometrischen Reihe
Banaschewski-Moore-1990: The dual Cantor-Bernstein theorem and the partition principle
Book references
Note connections:
Howard-Rubin Number | Statement | References |
---|---|---|
170 A | There is a function that assigns to each denumerable set \(D\) of real numbers a real number not in \(D\). |
Sierpiński [1954]
|
170 B | There is an uncountable, well orderable set of reals. |
Raisonnier [1982]
Note [3] |