English

When does NIP transfer from fields to henselian expansions?

Logic 2019-12-17 v3

Abstract

Let KK be an NIP field and let vv be a henselian valuation on KK. We ask whether (K,v)(K,v) is NIP as a valued field. By a result of Shelah, we know that if vv is externally definable, then (K,v)(K,v) is NIP. Using the definability of the canonical pp-henselian valuation, we show that whenever the residue field of vv is not separably closed, then vv is externally definable. In the case of separably closed residue field, we show that (K,v)(K,v) is NIP as a pure valued field.

Keywords

Cite

@article{arxiv.1607.02953,
  title  = {When does NIP transfer from fields to henselian expansions?},
  author = {Franziska Jahnke},
  journal= {arXiv preprint arXiv:1607.02953},
  year   = {2019}
}

Comments

8 pages. Contains an unconditional version of the main theorem (even in case the residue field is separably closed)

R2 v1 2026-06-22T14:51:03.485Z