×

The strict order property and generic automorphisms. (English) Zbl 1002.03025

Summary: 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.

MSC:

03C45 Classification theory, stability, and related concepts in model theory
PDFBibTeX XMLCite
Full Text: DOI arXiv

References:

[1] Model companions of theories with an automorphism 65 pp 1215– (2000)
[2] DOI: 10.1016/S0168-0072(98)00021-9 · Zbl 0929.03043
[3] DOI: 10.1090/S0002-9947-99-02498-8 · Zbl 0922.03054
[4] Illinois Journal of Mathematics
[5] DOI: 10.1016/S0168-0072(00)00024-5 · Zbl 0967.03030
[6] DOI: 10.1016/S0168-0072(97)00020-1 · Zbl 0891.03015
[7] DOI: 10.1007/BF01370694 · Zbl 0766.03022
[8] Proceedings of the London Mathematical Society 62 pp 25– (1991)
[9] Classification theory and the number of non-isomorphic models (1978)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.