A note on valued fields with finite group actions

Abstract

We consider valued fields equipped with an action of a given finite group by automorphisms. We show that the theory of such structures admits a model companion which is axiomatized in an Ax-Kochen/Ershov fashion. We prove this model companion has ${\mathrm{NTP}}_2$ and that the valuation is definable in the pure field language.