|
Publications > Preprint server > Preprint Number 551
Preprint Number 551
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: |
| Last updated: March 23 2021 09:22 | Please send your corrections to: |