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 :
[img]
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://www.archipel.uqam.ca/id/eprint/7607

Statistiques

Voir les statistiques sur cinq ans...