DI-UMONS : Dépôt institutionnel de l’université de Mons

Recherche transversale
Rechercher
(titres de publication, de périodique et noms de colloque inclus)
2008-07-01 - Article/Dans un journal avec peer-review - Français - 4 page(s)

Bélair Luc, Point Françoise , "Élimination des quantificateurs dans les équations aux différences linéaires sur les vecteurs de Witt" in C. R. Math. Acad. Sci. Paris, 346, 13-14, 703-706

  • Codes CREF : Logique mathématique (DI1170), Informatique mathématique (DI1160)
  • Unités de recherche UMONS : Logique mathématique (S838)
Texte intégral :

Abstract(s) :

(Français) 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 prope

Identifiants :
  • DOI : 10.1016/j.crma.2008.05.011
  • ISSN : 1631-073X