The strict order property and generic automorphisms
by Kikyo and Shelah. [KkSh:748]
J Symbolic Logic, 2002
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.
Back to the list of publications