Type-definable NIP fields are Artin-Schreier closed

Will Johnson

Let $K$ be a type-definable infinite field in an NIP theory. If $K$ has characteristic $p>0$, then $K$ is Artin-Schreier closed (it has no Artin-Schreier extensions). As a conseq…