ORDERED STABILITY AND EXPANSIONS OF A PURE LINEAR ORDER BY A UNARY FUNCTION

A linearly ordered structure is said to be o-stable if each of its Dedekind cut has a “small” number of extensions to complete 1-types. This concept, which was introduced by B.S. Baizhanov and V.V. Verbovsky, generalizes such widely known concepts among specialists in model theory as weak o-minimality, (weak) quasi-o-minimality and dp-minimality of ordered structures. It is based on a combination of the concepts of o-minimality and stability. As we know, the elementary theory of any pure linear order is o-superstable. Indeed, this follows from the fact, which Rubin proved in the late 70s of the 20th century, that any type of one variable is determined by its cut and definable subsets, distinguished by unary predicates or formulas with one free variable. In this paper, we explore the question of what happens if a pure linear order is expanded with a unary function. Two examples were constructed when o-stability is violated; in addition, sufficient conditions for preserving o-stability with such language expansion were found. Research work on this topic is not yet finished, ideally, it would be good to find a criterion for preserving ordered stability when enriching a structure with pure linear order with a new function of one variable.

1. Pillay A., Steinhorn C. (1986) Definable sets in ordered structures.1, Trans. Amer. Math. Soc., vol. 295, pp. 565–592.

2. Bajzhanov B.S., Verbovskij V.V. (2011) Uporjadochenno stabil'nye teorii. Algebra i logika, vol. 50, no. 3, pp. 303–325 [in Russian].

3. Verbovskiy V.V. (2012) O-Stable Ordered Groups. Siberian Advances in Mathematics, , vol. 22, no. 1, pp. 50–74.

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

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

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

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

8. Verbovskij V.V. (2010) Dp-minimal'nye i uporjadochenno stabil'nye upo-rjadochennye struktury, Matematicheskij zhurnal, vol. 10, no. 2 (36), pp. 35–38 [in Russian].

9. Verbovskiy V.V., Yershigeshova A.D. (2023) On non-essentiality of an o-stable expansion of, Lobachevskii Journal of Mathematics, vol. 44, pp. 5485–5492. doi.org/10.1134/S1995080223120387.

10. Rubin M. (1974) Theories of linear orders, Israel Journ. Math., no. 17, pp. 392–443.

11. Verbovskij V.V., Ershigeshova A.D. (2023) Primery linejnyh porjadkov s opredeljaemoj unarnoj funkciej i svojstvom nezavisimosti, Vestnik Kazahstansko-Britanskogo tehnicheskogo universiteta, vol. 20, no. 3, pp. 45–50 [in Russian].