加载中…
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 is a henselian valued field of residue characteristic for which is finite in case , then is NIP iff is NIP and is roughly tame.

生成讲解博客的中文版本

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