A valuation theoretic characterization of recursively saturated real closed fields
published by Salma Kuhlmann
in 2012
and research's language is
English
Download
Abstract in English
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.