Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 719

Preprint Number 719

Previous Next Preprint server

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:

Full text arXiv 1405.1772: pdf, ps.

Last updated: May 11 2014 05:11 Please send your corrections to: