Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 551

Preprint Number 551

Previous Next Preprint server

551. Paola D'Aquino, Salma Kuhlmann, Karen Lange
A valuation theoretic characterization of recursively saturated real closed fields

Submission date: 31 Decembre 2012


We give a valuation theoretic characterization for a real closed field to be recursively saturated. Our result extends the characterization of Harnik and Ressayre [HR] for a divisible ordered abelian group to be recursively saturated.

Mathematics Subject Classification: 06A05, 12J10, 12J15, 12L12, 13A18

Keywords and phrases:

Full text arXiv 1212.6842: pdf, ps.

Last updated: March 23 2021 09:22 Please send your corrections to: