Publications > Preprint server > Preprint Number 719
Preprint Number 719
719. Luc Bélair and Françoise Point
Separably closed fields and contractive Ore modules
Submission date: 7 May 2014.
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:
|Last updated: May 11 2014 05:11||Please send your corrections to:|