Return to Answer

The surreal complex field $\text{No}[i]$, known as the surcomplex field, is a proper-class-sized set-saturated algebraically closed field. It is universal for all fields of characteristic 0. Indeed, under global choice, every class field structure in characteristic 0 embeds as a subfield of $\text{No}[i]$. It is the algebraic closure of the transcendental field extension of $\mathbb{Q}$ by a proper class of algebraically independent transcendentals,

The surreal complex field $\text{No}[i]$, known as the surcomplex field, is a proper-class-sized set-saturated algebraically closed field. It is universal for all fields of characteristic 0. Indeed, under global choice, every class field structure in characteristic 0 embeds as a subfield of $\text{No}[i]$. It is the algebraic closure of the transcendental field extension of $\mathbb{Q}$ by a proper class of algebraically independent transcendentals.

The surreal complex field $\text{No}[i]$, known as the surcomplex field, is a proper-class-sized set-saturated algebraically closed field. It is universal for all fields of characteristic 0. Indeed, under global choice, every class field structure in characteristic 0 embeds as a subfield of $\text{No}[i]$.

The surreal complex field $\text{No}[i]$, known as the surcomplex field, is a proper-class-sized set-saturated algebraically closed field. It is universal for all fields of characteristic 0. Indeed, under global choice, every class field structure in characteristic 0 embeds as a subfield of $\text{No}[i]$. It is the algebraic closure of the transcendental field extension of $\mathbb{Q}$ by a proper class of algebraically independent transcendentals,

The surreal complex field $\text{No}[i]$ is a proper-class-sized set-saturated algebraically closed field. It is universal for all fields of characteristic 0. Indeed, under global choice, every class field structure in characteristic 0 embeds as a subfield of $\text{No}[i]$.

The surreal complex field $\text{No}[i]$, known as the surcomplex field, is a proper-class-sized set-saturated algebraically closed field. It is universal for all fields of characteristic 0. Indeed, under global choice, every class field structure in characteristic 0 embeds as a subfield of $\text{No}[i]$.