A valuation theoretic characterization of recursively saturated real   closed fields
  We give a valuation theoretic characterization for a real closed field to be recursively saturated. Our result extends the characterization of Harnik and Ressayre \cite{hr} for a divisible ordered abelian group to be recursively saturated. 
Paola D'Aquino, Salma Kuhlmann, Karen Lange
math.LO math.AC