MODNET
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
E-mail:

Submission date: 31 Decembre 2012

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 [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: January 28 2013 11:04 Please send your corrections to: