Statement:
If \(m\) is the cardinality of the set of Vitali equivalence classes, then \(H(m) = H(2^{\aleph_0})\), where \(H\) is Hartogs aleph function and the {\it Vitali equivalence classes} are equivalence classes of the real numbers under the relation \(x\equiv y\leftrightarrow(\exists q\in {\Bbb Q})(x-y=q)\).
Howard_Rubin_Number: 307
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:
Kanovei-1991: Cardinality of the set of Vitali equivalence classes
Book references
Note connections: