Separably closed fields and contractive Ore modules

Bélair, Luc et Point, Françoise (2015). « Separably closed fields and contractive Ore modules ». Journal of Symbolic Logic.

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

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

Résumé

Abstract. We consider valued �fields with a distinguished contractive map as val- ued modules over the Ore ring of di�fference operators. We prove quanti�er elimina- tion 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.

Type:	Article de revue scientifique
Informations complémentaires:	Final version June 2015, to be published in JSL./ Version définitive de juin 2015, à paraître dans JSL.
Mots-clés ou Sujets:	Logique, théorie des modèles.
Unité d'appartenance:	Faculté des sciences > Département de mathématiques
Déposé par:	Luc Bélair
Date de dépôt:	11 déc. 2015 13:43
Dernière modification:	11 déc. 2015 13:43
Adresse URL :	http://archipel.uqam.ca/id/eprint/7607

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

Statistiques