×

Notes on extremal and tame valued fields. (English) Zbl 1436.03193

Summary: We extend the characterization of extremal valued fields given in [S. Azgin et al., Proc. Am. Math. Soc. 140, No. 5, 1535–1547 (2012; Zbl 1271.12003)] to the missing case of valued fields of mixed characteristic with perfect residue field. This leads to a complete characterization of the tame valued fields that are extremal. The key to the proof is a model theoretic result about tame valued fields in mixed characteristic. Further, we prove that in an extremal valued field of finite \(p\)-degree, the images of all additive polynomials have the optimal approximation property. This fact can be used to improve the axiom system that is suggested in [F.-V. Kuhlmann, J. Symb. Log. 66, No. 2, 771–791 (2001; Zbl 0992.03046)] for the elementary theory of Laurent series fields over finite fields. Finally we give examples that demonstrate the problems we are facing when we try to characterize the extremal valued fields with imperfect residue fields. To this end, we describe several ways of constructing extremal valued fields; in particular, we show that in \(\text{every}_{1}\) saturated valued field the valuation is a composition of extremal valuations of rank 1.

MSC:

03C60 Model-theoretic algebra
12J10 Valued fields
12L12 Model theory of fields

References:

[1] DOI: 10.4153/CMB-2002-007-5 · Zbl 1009.12008 · doi:10.4153/CMB-2002-007-5
[2] DOI: 10.1090/S0002-9939-2011-11020-7 · Zbl 1271.12003 · doi:10.1090/S0002-9939-2011-11020-7
[3] DOI: 10.2307/2118581 · Zbl 0862.12003 · doi:10.2307/2118581
[4] Journal für die Reine und Angewandte Mathematik (2009)
[5] DOI: 10.1215/S0012-7094-42-00922-0 · doi:10.1215/S0012-7094-42-00922-0
[6] DOI: 10.1016/j.aim.2003.07.021 · Zbl 1134.12304 · doi:10.1016/j.aim.2003.07.021
[7] DOI: 10.1090/S0002-9947-04-03463-4 · Zbl 1122.12005 · doi:10.1090/S0002-9947-04-03463-4
[8] DOI: 10.1007/BF02758645 · Zbl 0809.03028 · doi:10.1007/BF02758645
[9] Logic in Tehran 26 pp 204– (2006)
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.