Substructures and uniform elimination for p-adic fields

Bélair, Luc (1988). « Substructures and uniform elimination for p-adic fields ». Annals of Pure and Applied Logic, 39, pp 1-17.

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

Prévisualisation	PDF Télécharger (1MB)

Résumé

Axiomatisation de la partie universelle de la théorie du premier ordre des corps p-adiquement clos d'un rang donné, et théorème d'élimination des quantificateurs uniforme des corps p-adiques quand p varie. / Axiomatization of the universal part of the first-order theory of p-adically closed fields in finite rank, and uniform quantifier elimination theorem of p-adic fields when p varies.

Type:	Article de revue scientifique
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:	12 sept. 2018 08:06
Dernière modification:	12 sept. 2018 08:06
Adresse URL :	http://archipel.uqam.ca/id/eprint/11603

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

Statistiques