Affiliation:
1. Satbayev University
2. Suleyman Demirel University
Abstract
After the appearance of the concept of o-minimality, which was introduced by L. van den Dries for expansions of the ordered field of real numbers and generalized to arbitrary linear orders by A. Pillay and C. Steinhorn, linearly ordered structures became firmly established in the circle of interests of specialists in model theory. Numerous generalizations of the concept of o-minimality have appeared in the works of various authors, such as weak o-minimality, quasi-o- minimality, weak quasi-o-minimality, dp-minimality, and o-stability. B. S. Baizhanov and V. V. Verbovskiy proved that o-stability generalizes all the above concepts for linearly ordered structures and that o-stability entails the absence of the independence property. They also proved that any linear order has an o-superstable theory. V. V. Verbovskiy studied o-stable ordered groups, in particular, he proved that they are commutative. In this paper, we begin the study of the question of how complex the theory of a linear order with one unary function can be. We construct an example of an expansion of a linearly ordered structure with one unary function, which has the independence property.
Publisher
Kazakh-British Technical University
Reference16 articles.
1. Bajzhanov B.S., Verbovskij V.V. (2011) Uporjadochenno stabil'nye teorii. Algebra i logika, 50:3, pp. 303–325.
2. Verbovskij V.V. (2010) Dp-minimal'nye i uporjadochenno stabil'nye struktury, Matematicheskij zhurnal, 10:2, pp. 35–38.
3. Verbovskij V.V. (2010) Uporjadochenno stabil'nye gruppy. Matematicheskie trudy, 13:2, pp. 84–127.
4. Baizhanov B.S. (2001) Expansion of a model of a weakly o-minimal theory by a family of unary predicates. The Journal of Symbolic Logic, 66:3, pp. 1382–1414.
5. Belegradek O.V., Verbovskiy V.V., Wagner F.O. (2003) Coset-minimal groups, Annals of Pure and Applied Logic, 121:2-3, 113–143.