When does NIP transfer from fields to henselian expansions?
Logic
2019-12-17 v3
Abstract
Let be an NIP field and let be a henselian valuation on . We ask whether is NIP as a valued field. By a result of Shelah, we know that if is externally definable, then is NIP. Using the definability of the canonical -henselian valuation, we show that whenever the residue field of is not separably closed, then is externally definable. In the case of separably closed residue field, we show that 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)