Abstract
We show that any theory of tame henselian valued fields is NIP if and only if the theory of its residue field and the theory of its value group are NIP. Moreover, we show that if (K, v) is a henselian valued field of residue characteristic \(\mathrm {char}(Kv)=p\) such that if \(p>0\), depending on the characteristic of K either the degree of imperfection or the index of the pth powers is finite, then (K, v) is NIP iff Kv is NIP and v is roughly separably tame.
Similar content being viewed by others
References
Antonio, J.: Engler and Alexander Prestel. Valued fields. Springer Monographs in Mathematics. Springer-Verlag, Berlin (2005)
Bélair, L.: Types dans les corps valués munis d’applications coefficients. Ill. J. Math. 43(2), 410–425 (1999)
Chernikov, A., Hils, M.: Valued difference fields and \(\text{ NTP }_2\). Isr. J. Math. 204(1), 299–327 (2014)
Chernikov, A., Simon, P.: Externally definable sets and dependent pairs. Isr. J. Math. 194(1), 409–425 (2013)
Chernikov, A., Simon, P.: Externally definable sets and dependent pairs II. Trans. Am. Math. Soc. 367(7), 5217–5235 (2015)
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)
Gurevich, Y., Schmitt, P.H.: The theory of ordered abelian groups does not have the independence property. Trans. Am. Math. Soc. 284(1), 171–182 (1984)
Johnson, W.: On dp-minimal fields. ArXiv e-prints (2015) arXiv:1507.02745
Johnson, W.: Fun with Fields. Ph.D. thesis, University of California at Berkeley (2016). https://escholarship.org/uc/item/6kx1f5g3
Kaplan, I., Scanlon, T., Wagner, F.O.: Artin–Schreier extensions in NIP and simple fields. Isr. J. Math. 185, 141–153 (2011)
Koenigsmann, J.: Elementary characterization of fields by their absolute Galois group. Siberian Adv. Math. 14(3), 16–42 (2004)
Kuhlmann, F.-V.: The algebra and model theory of tame valued fields. J. Reine Angew. Math. 719, 1–43 (2016)
Kuhlmann, F.-V., Pal, K.: The model theory of separably tame valued fields. J. Algebra 447, 74–108 (2016)
Kuhlmann, F.-V., Pank, M., Roquette, P.: Immediate and purely wild extensions of valued fields. Manuscr. Math. 55, 39–68 (1986)
Prestel, A., Roquette, P.: Formally \(p\)-adic Fields. Lecture Notes in Mathematics, vol. 1050. Springer-Verlag, Berlin (1984)
Simon, P.: A Guide to NIP theories. Lecture Notes in Logic. Association for Symbolic Logic, La Jolla, vol. 44. Cambridge University Press, Cambridge (2015)
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)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Partially supported by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) via CRC 878 and under Germany’s Excellence Strategy EXC 2044–390685587, ‘Mathematics Münster: Dynamics–Geometry–Structure’, ValCoMo (ANR-13-BS01-0006), NSF (Grant No. 1665491) and a Sloan fellowship.
Rights and permissions
About this article
Cite this article
Jahnke, F., Simon, P. NIP henselian valued fields. Arch. Math. Logic 59, 167–178 (2020). https://doi.org/10.1007/s00153-019-00685-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-019-00685-8