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

RésuméOn donne un algorithme d'élimination des quantificateurs dans les vecteurs de Witt sur un corps algébriquement clos (ou encore dans les séries formelles), vus comme module valué sur l'anneau de Ore des polynômes de Frobenius. On obtient alors que ces structures n'ont pas la propriété d'indépendance. Pour citer cet article : L. Bélair, F. Point, C. R. Acad. Sci. Paris, Ser. I 346 (2008).

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. Bélair, F. Point, C. R. Acad. Sci. Paris, Ser. I 346 (2008).