The strict order property and generic automorphisms
arXiv:math/0010306
Abstract
If T is an model complete theory with the strict order property, then the theory of the models of T with an automorphism has no model companion.
arXiv:math/0010306
If T is an model complete theory with the strict order property, then the theory of the models of T with an automorphism has no model companion.