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

Bélair, Luc et Point, Françoise (2008). « Élimination des quantificateurs dans les équations aux différences linéaires sur les vecteurs de Witt ». Comptes Rendus de l'Académie des sciences de Paris Série I, 346, pp. 703-706.

Fichier(s) associé(s) à ce document :

Prévisualisation	PDF Télécharger (315kB)

Résumé

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

Type:	Article de revue scientifique
Mots-clés ou Sujets:	Logique, théorie des modèles, élimination des quantificateurs, équations aux différences, vecteurs de Witt
Unité d'appartenance:	Faculté des sciences > Département de mathématiques
Déposé par:	Luc Bélair
Date de dépôt:	07 déc. 2008
Dernière modification:	01 nov. 2014 02:07
Adresse URL :	http://archipel.uqam.ca/id/eprint/1469

Modifier les métadonnées (propriétaire du document)

Statistiques