Statement:
\({\Bbb R}\) is not the union of a countable family of countable sets.
Howard_Rubin_Number: 38
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:
Levy-Feferman-1963: Independence results in set theory by Cohen's method II
Book references
Note connections:
Note 3
| Howard-Rubin Number | Statement | References |
|---|---|---|
| 38 A | \(UT(\aleph_{0},\aleph_{0},\neq 2^{\aleph_{0}})\): A denumerable union of denumerable sets does not have cardinality \(2^{\aleph_{0}}\). |
|