Model companions of theories with an automorphism

Hirotaka Kikyo

For a theory $T$ in $L,T_{\sigma }$ is the theory of the models of $T$ with an automorphism $\sigma$. If $T$ is an unstable model complete theory without the independence property, then $T_{\sigma }$…