1 research outputs found
Separably closed fields and contractive Ore modules
We consider valued fields with a distinguished contractive map as valued
modules over the Ore ring of difference operators. We prove quantifier
elimination for separably closed valued fields with the Frobenius map, in the
pure module language augmented with functions yielding components for a p-basis
and a chain of subgroups indexed by the valuation group