EXAMPLES OF LINEAR ORDERS WITH A DEFINABLE UNARY FUNCTION AND THE INDEPENDENCE PROPERTY

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.

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.

6. Macpherson D., Marker D., Steinhorn C. (2000) Weakly o-minimal structures and real closed fields. Transactions of The American Mathematical Society, 352, pp. 5435–5483.

7. Pillay A., Steinhorn Ch. (1986) Definable sets in ordered structures.1. Transactions of The American Mathematical Society, 295, pp. 565–592.

8. Kulpeshov B.S. (1998) Weakly o-minimal structures and some of their properties. The Journal of Symbolic Logic, 63, pp. 1511–1528.

9. Kulpeshov B.S. (2007) Criterion for binarity of omega-categorical weakly o-minimal theories. Annals of Pure and Applied Logic, 145, pp. 354–367.

10. Shelah S. (1969) Stable theories. Israel Journal of Mathematics, 7, pp. 187–202.

11. Verbovskiy V.V. (2012) O-stable ordered groups. Siberian Advances in Mathematics, 22, pp. 50–74.

12. Verbovskiy V.V. (2013) On a classification of theories without the independence property, Mathematical Logic Quarterly 59, pp. 119–124.

13. Verbovskiy V.V. (2018) On ordered groups of Morley o-rank 1. Siberian Electronic Mathematical Reports 15, pp. 314–320.

14. Verbovskiy V.V. (2018) On commutativity of circularly ordered c-o-stable groups, Eurasian Mathematical Journal, 4:9, pp. 91–98.

15. Verbovskiy V.V. (2019) On definability of types and relative stability, Mathematical Logic Quarterly 65, pp. 332–346.

16. Verbovskiy V.V., Dauletiyarova A.B. (2021) Piecewise monotonicity for unary functions in o-stable groups. Algebra and Logic 60, 1, pp. 23–38.