par Duby, Grégory
Référence Comptes rendus. Mathématique, 335, 5, page (417-420)
Publication Publié, 2002-09
Article révisé par les pairs
Résumé : Let T be a theory of language L. Set Tσ = T ∪ {σ is an L-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. © 2002 Académie des sciences/Éditions scientifiques et médicales Elsevier SAS.