If T is a model complete theory with the strict order property, then the theory of the models of T with an automorphism has no model companion.
['Hirotaka Kikyo', 'Saharon Shelah']
The strict order property and generic automorphisms