Statement:

The set of Vitali equivalence classes is linearly orderable. (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: 306

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:

The following forms are listed as conclusions of this form class in rfb1: 93,

Back