Artin-Schreier extensions and combinatorial complexity in henselian valued fields

Blaise Boissonneau

We give explicit formulas witnessing IP, \IPn or TP2 in fields with Artin-Schreier extensions. We use them to control $p$-extensions of mixed characteristic henselian valued fields…