Statement:
The additive groups of \(\Bbb Q\oplus\Bbb R\) and \(\Bbb R\) are isomorphic.
Howard_Rubin_Number: 252
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:
Ash-1975: consequence of the axiom of choice
Book references
Note connections: