arXiv:math/0010306 Abstract

Published 2000-10-30Version 1

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.

Categories: math.LO

Keywords: strict order property, generic automorphisms, model complete theory, model companion

Related articles: Most relevant | Search more

arXiv:1305.7501 [math.LO] (Published 2013-05-31)

Model companion of ordered theories with an automorphism

arXiv:math/0409567 [math.LO] (Published 2004-09-28, updated 2006-04-26)

Turbulence, amalgamation and generic automorphisms of homogeneous structures

arXiv:math/0009087 [math.LO] (Published 2000-09-08, updated 2011-04-14)

On triangleleft^*-maximality

arXiv Analytics