Separably closed fields and contractive Ore modules
Logic
2014-05-09 v1 Number Theory
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.
Keywords
Cite
@article{arxiv.1405.1772,
title = {Separably closed fields and contractive Ore modules},
author = {Luc Bélair and Françoise Point},
journal= {arXiv preprint arXiv:1405.1772},
year = {2014}
}