Let $(k,<)$ be a real closed field and $L|K$ an ordered extension such that $\forall x\in L \exists y\in k\; (x
Is $k$ dense in $L$?
Let $(k,<)$ be a real closed field and $L|K$ an ordered extension such that $\forall x\in L \exists y\in k\; (x
Is $k$ dense in $L$?