Sciweavers

JSYML
2002
66views more  JSYML 2002»
14 years 4 days ago
The Strict Order Property and Generic Automorphisms
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.
Hirotaka Kikyo, Saharon Shelah