JSYML
2002
13 years 7 months ago
2002
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.