×

Model companion of ordered theories with an automorphism. (English) Zbl 1347.03065

The paper studies the question of the existence of a model companion of a theory expanded by an automorphism. The authors obtain a complete characterization of all model-complete theories expanding the theory of non-trivial dense linear orders without endpoints in the language \(\{<,\sigma\}\) where \(\sigma\) is an increasing automorphism. They also obtain a complete characterization of all model-complete theories of omega-sums in the class of ordered abelian groups in the language \(\{+, -, 0, <,\sigma\}\) where \(\sigma\) is a “piecewise” increasing automorphism. At last, they show that the theory of real closed fields does not have a model companion in the language \(\{+, -, \times, 0, 1, <, \sigma\}\) where \(\sigma\) is an increasing automorphism.

MSC:

03C10 Quantifier elimination, model completeness, and related topics
03C64 Model theory of ordered structures; o-minimality
20A05 Axiomatics and elementary properties of groups
20K30 Automorphisms, homomorphisms, endomorphisms, etc. for abelian groups

References:

[1] Baldwin, John T.; Shelah, Saharon, Model companions of \(T_{\rm Aut}\) for stable \(T\), Notre Dame J. Formal Logic, 42, 3, 129-142 (2003) (2001) · Zbl 1034.03040 · doi:10.1305/ndjfl/1063372196
[2] Chatzidakis, Zo{\'e}; Hrushovski, Ehud, Model theory of difference fields, Trans. Amer. Math. Soc., 351, 8, 2997-3071 (1999) · Zbl 0922.03054 · doi:10.1090/S0002-9947-99-02498-8
[3] Chatzidakis, Zo{\'e}; Pillay, Anand, Generic structures and simple theories, Ann. Pure Appl. Logic, 95, 1-3, 71-92 (1998) · Zbl 0929.03043 · doi:10.1016/S0168-0072(98)00021-9
[4] Kikyo, Hirotaka, Model companions of theories with an automorphism, J. Symbolic Logic, 65, 3, 1215-1222 (2000) · Zbl 0967.03031 · doi:10.2307/2586697
[5] Kikyo, Hirotaka; Pillay, Anand, The definable multiplicity property and generic automorphisms, Ann. Pure Appl. Logic, 106, 1-3, 263-273 (2000) · Zbl 0967.03030 · doi:10.1016/S0168-0072(00)00024-5
[6] Kikyo, Hirotaka; Shelah, Saharon, The strict order property and generic automorphisms, J. Symbolic Logic, 67, 1, 214-216 (2002) · Zbl 1002.03025 · doi:10.2178/jsl/1190150038
[7] Macintyre, Angus, Generic automorphisms of fields, Ann. Pure Appl. Logic, 88, 2-3, 165-180 (1997) · Zbl 0891.03015 · doi:10.1016/S0168-0072(97)00020-1
[8] Pal, Koushik, Multiplicative valued difference fields, J. Symbolic Logic, 77, 2, 545-579 (2012) · Zbl 1245.03056 · doi:10.2178/jsl/1333566637
[9] van den Dries, Lou, Quantifier elimination for linear formulas over ordered and valued fields, Bull. Soc. Math. Belg. S\'er. B. Proceedings of the Model Theory Meeting (Univ. Brussels, Brussels/Univ. Mons, Mons, 1980), 33, 1, 19-31 (1981) · Zbl 0479.03018
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.