Élimination des quantificateurs dans les équations aux différences linéaires sur les vecteurs de Witt

  title={{\'E}limination des quantificateurs dans les {\'e}quations aux diff{\'e}rences lin{\'e}aires sur les vecteurs de Witt},
  author={Luc B{\'e}lair and F. Point},
  journal={Comptes Rendus Mathematique},
Abstract We prove quantifier elimination in Witt vectors over an algebraically closed fields (or in power series), considered as a valued module over the Ore ring of Frobenius polynomials. We get that these structures do not have the independence property. To cite this article: L. Belair, F. Point, C. R. Acad. Sci. Paris, Ser. I 346 (2008). Resume On donne un algorithme d'elimination des quantificateurs dans les vecteurs de Witt sur un corps algebriquement clos (ou encore dans les… Expand
1 Citations
Quantifier elimination in valued Ore modules
  • 4
  • PDF


Quantifier Elimination for the Relative Frobenius
  • 36
  • PDF
Model theory of the Frobenius on the Witt vectors
  • 27
  • PDF
Model theory and modules
  • 342
  • PDF
Valued Difference Fields as Modules Over Twisted Polynomial Rings
  • 7
Skew Fields
  • Cambridge Univ. Press
  • 1995
Quantifier elimination for linear formulas over ordered and valued fields
  • 20
Corps locaux
  • Hermann
  • 1968