A valuation theoretic characterization of recursively saturated real closed fields. (English) Zbl 1372.03073
Summary: We give a valuation theoretic characterization for a real closed field to be recursively saturated. This builds on work in [F. V. Kuhlmann et al., J. Pure Appl. Algebra 169, No. 1, 71–90 (2002; Zbl 0998.12010)], where the authors gave such a characterization for \(\kappa\)-saturation, for a cardinal \(\kappa \geq \aleph _0\). Our result extends the characterization of Harnik and Ressayre for a divisible ordered abelian group to be recursively saturated.
MSC:
03C60 | Model-theoretic algebra |
12J20 | General valuation theory for fields |
03C57 | Computable structure theory, computable model theory |
12J15 | Ordered fields |
Keywords:
recursive saturation; Scott sets; natural valuation; value group; residue field; valuation rank; pseudo-Cauchy sequencesCitations:
Zbl 0998.12010References:
[1] | DOI: 10.1090/S0002-9947-04-03463-4 · Zbl 1122.12005 · doi:10.1090/S0002-9947-04-03463-4 |
[2] | Valued Fields (2005) |
[3] | Recursive Functions Theory pp 117– (1962) |
[4] | Commutative Algebra 2 (1960) |
[5] | DOI: 10.1016/S0022-4049(01)00064-0 · Zbl 0998.12010 · doi:10.1016/S0022-4049(01)00064-0 |
[6] | Linear Orderings (1982) · Zbl 0488.04002 |
[7] | DOI: 10.1007/BF01462232 · Zbl 0816.06019 · doi:10.1007/BF01462232 |
[8] | DOI: 10.1090/S0002-9947-1984-0732105-5 · doi:10.1090/S0002-9947-1984-0732105-5 |
[9] | Ordered Exponential Fields 12 (2000) |
[10] | Publicationes Mathematicae Debrecen 18 pp 149– (1971) |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.