The strict order property and generic automorphisms
Abstract
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.
- Publication:
-
arXiv Mathematics e-prints
- Pub Date:
- October 2000
- DOI:
- 10.48550/arXiv.math/0010306
- arXiv:
- arXiv:math/0010306
- Bibcode:
- 2000math.....10306K
- Keywords:
-
- Logic