Let $(K, <)$ be an order field, can I define the order "<" in $K$ ?
I know that $K \models 0 if and only if there is $b$ in the real closure of $K$ such that $b*b = a$. Can I "interpret" the real closure of $K$ in $K$?
Let $(K, <)$ be an order field, can I define the order "<" in $K$ ?
I know that $K \models 0 if and only if there is $b$ in the real closure of $K$ such that $b*b = a$. Can I "interpret" the real closure of $K$ in $K$?