All Questions
1
question
0
votes
0
answers
95
views
Is every formally real field isomorphic to a subfield of the reals?
A formally real field is a field $K$ such that $-1$ is not a sum of squares in $K$. Clearly subfields of $\mathbb{R}$ are formally real. I also know finite fields and algebraically closed fields are ...