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$?
Density for archimidean extension of real closed field
1
$\begingroup$
abstract-algebra
model-theory
-
0Can't you construct a counter-example by inserting a new variable into a "gap"? e.g. if $k$ is non-archmedian then insert a new variable $T$ between the finite numbers and the positive infinite numbers, and compare $k$ to the real closure of $k(T)$. – 2012-07-09