I was reading the section on real closed fields in Jacobson's Basic Algebra II and came across a theorem (Hilbert's 17th problem) which assumed as a hypothesis that some field F is dense in its real closure.
Does anyone know any examples of ordered fields that are not dense in their real closures?