100
click to vote
JSYML
2002
15 years 3 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.