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.

[1]  Koushik Pal.  Multiplicative valued difference fields , 2012, J. Symb. Log..

[2]  M. Prest.  Model theory and modules , 1988 .

[3]  Françoise Point,et al.  Quantifier elimination in valued Ore modules , 2010, J. Symb. Log..

[4]  O. Ore.  Theory of Non-Commutative Polynomials , 1933 .

[5]  J. Denef.  On the Decidability of the Existential Theory of F p [ [ t ] ] , 2005 .

[6]  Paul F. Conrad.  Embedding Theorems for Abelian Groups with Valuations , 1953 .

[7]  M. Lazard,et al.  Groupes analytiques p-adiques , 1965 .

[8]  L. Dries.  Quantifier elimination for linear formulas over ordered and valued fields , 1981 .

[9]  Martin Ziegler,et al.  Model theory of modules , 1984, Ann. Pure Appl. Log..

[10]  Jizhan Hong,et al.  Immediate expansions by valuation of fields , 2013 .

[11]  Françoise Delon,et al.  Idéaux et types sur les corps séparablement clos , 1988 .

[12]  Françoise Point,et al.  The theory of modules of separably closed fields 2 , 2002, Ann. Pure Appl. Log..

[13]  Dan Haran.  Quantifier Elimination in Separably Closed Fields of Finite Imperfectness Degree , 1988, J. Symb. Log..

[14]  Françoise Point.  Asymptotic theory of modules of separably closed fields , 2005, J. Symb. Log..

[15]  Thomas Rohwer.  Valued Difference Fields as Modules Over Twisted Polynomial Rings , 2003 .

[16]  O. Ore.  On a special class of polynomials , 1933 .

[17]  Isidore Fleischer.  Maximality and ultracompleteness in normed modules , 1958 .

[18]  Gabriel Srour,et al.  The Independence Relation in Separably Closed Fields , 1986, J. Symb. Log..

[19]  Salih Azgin.  Valued fields with contractive automorphism and Kaplansky fields , 2010 .

[20]  Françoise Point,et al.  The theory of modules of separably closed fields 1 , 2002, Journal of Symbolic Logic.