A valuation theoretic characterization of recursively saturated real closed fields
classification
🧮 math.LO
math.AC
keywords
characterizationrecursivelysaturatedclosedrealtheoreticvaluationabelian
read the original abstract
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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.