Title: Artin-Schreier extensions of type-definable fields


Abstract: By a well known theorem of Kaplan, Scanlon and Wagner, any
field definable in an NIP theory is Artin-Schreier closed.
In 2022, Will Johnson proved that the same holds for fields
type-definable in NIP. We will take a detailed look at two ways to prove
this statement; an explicit construction and a more abstract argument.
Afterwards, we will discuss ways to use these ideas in more general
settings, for instance for fields type-definable in NTP2.