Geodesic
Théories o-minimales avec un automorphisme
Duby, Grégory1
1 Université Libre de Bruxelles, service de logique, CP 211, boulevard du Triomphe, 1050 Bruxelles, Belgique
Comptes Rendus. Mathématique, Tome 335 (2002) no. 5, pp. 417-420

Voir la notice de l'article provenant de la source Numdam

Etant donnée une théorie T de langage ℒ, Tσ est la théorie T à laquelle on ajoute les axiomes qui expriment que σ est un ℒ-automorphisme. Nous montrons ici que pour la théorie de (ℤ,⩽,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.

Let T be a theory of language ℒ. Set Tσ=T∪{σ is an ℒ-automorphism}. We show that if T is the theory of (ℤ,⩽,s) or if T is o-minimal and ω-categorical then there is a natural expansion by definition of Tσ having a model companion.

Reçu le :
Accepté le :
Publié le :
DOI : 10.1016/S1631-073X(02)02511-6

Duby, Grégory 1

1 Université Libre de Bruxelles, service de logique, CP 211, boulevard du Triomphe, 1050 Bruxelles, Belgique 
@article{CRMATH_2002__335_5_417_0,
     author = {Duby, Gr\'egory},
     title = {Th\'eories \protect\emph{o}-minimales avec un automorphisme},
     journal = {Comptes Rendus. Math\'ematique},
     pages = {417--420},
     publisher = {Elsevier},
     volume = {335},
     number = {5},
     year = {2002},
     doi = {10.1016/S1631-073X(02)02511-6},
     language = {fr},
     url = {http://geodesic.mathdoc.fr/articles/10.1016/S1631-073X(02)02511-6/}
}
TY  - JOUR
AU  - Duby, Grégory
TI  - Théories o-minimales avec un automorphisme
JO  - Comptes Rendus. Mathématique
PY  - 2002
SP  - 417
EP  - 420
VL  - 335
IS  - 5
PB  - Elsevier
UR  - http://geodesic.mathdoc.fr/articles/10.1016/S1631-073X(02)02511-6/
DO  - 10.1016/S1631-073X(02)02511-6
LA  - fr
ID  - CRMATH_2002__335_5_417_0
ER  - 
%0 Journal Article
%A Duby, Grégory
%T Théories o-minimales avec un automorphisme
%J Comptes Rendus. Mathématique
%D 2002
%P 417-420
%V 335
%N 5
%I Elsevier
%U http://geodesic.mathdoc.fr/articles/10.1016/S1631-073X(02)02511-6/
%R 10.1016/S1631-073X(02)02511-6
%G fr
%F CRMATH_2002__335_5_417_0
Duby, Grégory. Théories o-minimales avec un automorphisme. Comptes Rendus. Mathématique, Tome 335 (2002) no. 5, pp. 417-420. doi: 10.1016/S1631-073X(02)02511-6

Cité par Sources :