Contracting Endomorphisms of Valued Fields

Yuval Dor, Yatir Halevi

We prove that the class of separably algebraically closed valued fields equipped with a distinguished Frobenius endomorphism $x\mapsto x^q$ is decidable, uniformly in $q$. The res…