Statement:

The additive groups \(({\Bbb R},+)\) and \(({\Bbb C},+)\) are  isomorphic.

Howard_Rubin_Number: 251

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:

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

Back