EXAMPLES OF LINEAR ORDERS WITH A DEFINABLE UNARY FUNCTION AND THE INDEPENDENCE PROPERTY
АНЫҚТАЛАТЫН БІР ОРЫНДЫҚ ФУНКЦИЯСЫ БАР СЫЗЫҚТЫҚ РЕТТЕРДІҢ МЫСАЛДАРЫ ЖӘНЕ ТӘУЕЛСІЗДІК ҚАСИЕТІ
ПРИМЕРЫ ЛИНЕЙНЫХ ПОРЯДКОВ С ОПРЕДЕЛИМОЙ ОДНОМЕСТНОЙ ФУНКЦИЕЙ И СВОЙСТВО НЕЗАВИСИМОСТИ
Verbovskiy V.V. Ershigeshova A.D.
2023Kazakh-British Technical University
Herald of the Kazakh British Technical UNiversity
2023#20Issue 345 - 50 pp.
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.
independence property , linearly ordered set , o-minimality , o-stability , unar
Text of the article Перейти на текст статьи
Satbayev University, Almaty, 050013, Kazakhstan
Suleyman Demirel University, Kaskelen, 040900, Kazakhstan
Satbayev University
Suleyman Demirel University
10 лет помогаем публиковать статьи Международный издатель
Книга Публикация научной статьи Волощук 2026 Book Publication of a scientific article 2026