Théories o-minimales avec un automorphisme - 04/04/08
pages | 4 |
Iconographies | 0 |
Vidéos | 0 |
Autres | 0 |
Note présentée par Jean-Yves Girard
Résumé |
Etant donnée une théorie T de langage L, Tσ est la théorie T à laquelle on ajoute les axiomes qui expriment que σ est un L-automorphisme. Nous montrons ici que pour la théorie de (Z,⩽,s) ou pour toute théorie o-minimale ω-catégorique, il existe une expansion par définition naturelle de Tσ admettant un modèle compagnon. Pour citer cet article : G. Duby, C. R. Acad. Sci. Paris, Ser. I 335 (2002) 417-420.
Le texte complet de cet article est disponible en PDF.Abstract |
Let T be a theory of language L. Set Tσ=T{σ is an L-automorphism}. We show that if T is the theory of (Z,⩽,s) or if T is o-minimal and ω-categorical then there is a natural expansion by definition of Tσ having a model companion. To cite this article: G. Duby, C. R. Acad. Sci. Paris, Ser. I 335 (2002) 417-420.
Le texte complet de cet article est disponible en PDF.Plan
Vol 335 - N° 5
P. 417-420 - 2002 Retour au numéroBienvenue sur EM-consulte, la référence des professionnels de santé.
L’accès au texte intégral de cet article nécessite un abonnement.
Bienvenue sur EM-consulte, la référence des professionnels de santé.
L’achat d’article à l’unité est indisponible à l’heure actuelle.
Déjà abonné à cette revue ?