Submission date: 7 May 2014.

Abstract:

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.

Mathematics Subject Classification: 03C60, 03C10, 16S36, 12L

Keywords and phrases:

Full text arXiv 1405.1772: pdf, ps.