par Duby, Grégory
Référence Archive for mathematical logic, 42, 5, page (435-447)
Publication Publié, 2003-07
Article révisé par les pairs
Résumé : This paper generalizes results of F. Körner from [4] where she established the existence of maximal automorphisms (i.e. automorphisms moving all non-algebraic elements). An ω-maximal automorphism is an automorphism whose powers are maximal automorphisms. We prove that any structure has an elementary extension with an ω-maximal automorphism. We also show the existence of ω-maximal automorphisms in all countable arithmetically saturated structures. Further we describe the pairs of tuples (ā, b̄) for which there is an ω-maximal automorphism mapping ā to b̄.