NIP Henselian valued fields. (English) Zbl 1444.03130

Let \((K, v)\) denote a valued field, with underlying field \(K\) and valuation \(v\), let \(Kv\) denote the residue feild, and \(K^\times\) the multiplicative group of \(K\), and \(\mathcal U\) some sufficiently saturated elementary extension of \(K\). Recall that a structure is called NIP if its theory does not have the independence property.
From the Introduction : “…we consider the question of when NIP transfers from the residue field to the valued field. Our approach generalizes well known results of Delon and Gurevich-Schmitt for Henselian fields of equicharacteristic \(0\), and of Bélair for certain perfect fields of positive characteristic, in a uniform way.”

The two main results are the following.
Theorem 3.3. A complete theory of separably algebraically maximal Kaplansky fields of finite degree of imperfection is NIP if the corresponding theories of residue fields and value groups are both NIP.
Note that in this theorem, additional NIP structure on the value group and the residue field are allowed, something which was not addressed explicitely in the original results.
Theorem 4.6. Let \((K, v)\) be a Henselian valued field of residue characteristic \(\operatorname{char}(Kv)=p\). In case \((K, v)\) has mixed characteristic, assume that \(K^\times / (K^\times)^p\) is finite. If the characteristic of \(K\) is positive, assume that \(K\) has finite degree of imperfection. Then
\((K, v)\) is NIP \(\iff\) \(Kv\) is NIP and \((K, v)\) is roughly separably tame.
For Theorem 3.3, a somewhat more general result is proved. We briefly mention it here. Let \(T\) be a complete theory of valued fields with possible additional structures. Consider the following two properties (SE) and (Im).
(SE) The residue field and the value group are stably embedded.
(Im) If \(K\) is a model of \(T\) and \(a\in \mathcal U\) is a singleton such that \(K(a)/K\) is an immediate extension, then the type of \(a\) over K is implied by instances of NIP formulas.
Theorem 2.3. Under assumptions (SE) and (Im), the theory \(T\) is NIP if and only if the theories of the residue field and value group are.


03C60 Model-theoretic algebra
03C45 Classification theory, stability, and related concepts in model theory
12J10 Valued fields
12L12 Model theory of fields
Full Text: DOI arXiv


[1] Antonio, J., Engler and Alexander Prestel. Valued fields. Springer Monographs in Mathematics (2005), Berlin: Springer-Verlag, Berlin · Zbl 1128.12009
[2] Bélair, L., Types dans les corps valués munis d’applications coefficients, Ill. J. Math., 43, 2, 410-425 (1999) · Zbl 0927.03067
[3] Chernikov, A.; Hils, M., Valued difference fields and \(\text{NTP}_2\), Isr. J. Math., 204, 1, 299-327 (2014) · Zbl 1338.03061
[4] Chernikov, A.; Simon, P., Externally definable sets and dependent pairs, Isr. J. Math., 194, 1, 409-425 (2013) · Zbl 1335.03031
[5] Chernikov, A.; Simon, P., Externally definable sets and dependent pairs II, Trans. Am. Math. Soc., 367, 7, 5217-5235 (2015) · Zbl 1388.03035
[6] Delon, F.: Types sur \({\bf C}((X))\). In Study Group on Stable Theories (Bruno Poizat), Second year: 1978/79 (French), pages Exp. No. 5, 29. Secrétariat Math., Paris (1981)
[7] Gurevich, Y.; Schmitt, Ph, The theory of ordered abelian groups does not have the independence property, Trans. Am. Math. Soc., 284, 1, 171-182 (1984) · Zbl 0507.03012
[8] Johnson, W.: On dp-minimal fields. ArXiv e-prints (2015) arXiv:1507.02745
[9] Johnson, W.: Fun with Fields. Ph.D. thesis, University of California at Berkeley (2016). https://escholarship.org/uc/item/6kx1f5g3
[10] Kaplan, I.; Scanlon, T.; Wagner, Fo, Artin-Schreier extensions in NIP and simple fields, Isr. J. Math., 185, 141-153 (2011) · Zbl 1261.03120
[11] Koenigsmann, J., Elementary characterization of fields by their absolute Galois group, Siberian Adv. Math., 14, 3, 16-42 (2004) · Zbl 1074.12003
[12] Kuhlmann, F-V, The algebra and model theory of tame valued fields, J. Reine Angew. Math., 719, 1-43 (2016) · Zbl 1401.13011
[13] Kuhlmann, F-V; Pal, K., The model theory of separably tame valued fields, J. Algebra, 447, 74-108 (2016) · Zbl 1400.03062
[14] Kuhlmann, F-V; Pank, M.; Roquette, P., Immediate and purely wild extensions of valued fields, Manuscr. Math., 55, 39-68 (1986) · Zbl 0593.12018
[15] Prestel, A.; Roquette, P., Formally \(p\)-adic Fields. Lecture Notes in Mathematics (1984), Berlin: Springer-Verlag, Berlin · Zbl 0523.12016
[16] Simon, P., A Guide to NIP theories. Lecture Notes in Logic. Association for Symbolic Logic, La Jolla (2015), Cambridge: Cambridge University Press, Cambridge
[17] van den Dries, L.: Lectures on the model theory of valued fields. In Model theory in algebra, analysis and arithmetic, volume 2111 of Lecture Notes in Math., pp. 55-157. Springer, Heidelberg (2014) · Zbl 1347.03074
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.