UNIFORMLY EXTERNALLY DEFINABLE EXPANSION
БІРКЕЛКІ СЫРТТАЙ АНЫҚТАЛАТЫН БАЙЫТУ
РАВНОМЕРНО ВНЕШНЕ ОПРЕДЕЛИМОЕ ОБОГАЩЕНИЕ
Baizhanov B. Sargulova F.
2025Kazakh-British Technical University
Herald of the Kazakh British Technical UNiversity
2025#22Issue 4306 - 312 pp.
In this article, we study the expansion of a structure by adding a new predicate that is not definable by any formula in the original language. To consider an externally definable expansion, we define the extension of a model in both essential and non-essential case. Such expansions can lead to significant changes in the properties of the resulting structure. We focus on the case of externally definable expansions, where the new relation is given by the intersection of a formula defined in an elementary extension with the original structure. The concept of a uniformly externally definable expansion was first introduced by Macpherson, Marker, and Steinhorn in the context of expansions by cuts in submodels of o-minimal structures over the real numbers. Subsequently, Baizhanov demonstrated that expanding a model of a weakly o-minimal theory by a family of convex sets preserves both weak o-minimality and uniform external definability. We establish conditions for external expansions under which the key properties of the original structure are preserved.
convex-to-right (left) 2-formula , expansion , externally definable expansion , quasineighborhood and neighborhood
Text of the article Перейти на текст статьи
Institute of Mathematics and Mathematical Modeling, Almaty, Kazakhstan
Institute of Mathematics and Mathematical Modeling
10 лет помогаем публиковать статьи Международный издатель
Книга Публикация научной статьи Волощук 2026 Book Publication of a scientific article 2026