71
Voted
JSYML
2002
15 years 3 days 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.