加载中…
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.

生成讲解博客的中文版本

生成AI智能校验的中文版本