д.ф.-м.н., профессор
Dr. Phys.-Math. Sc., Professor
Almaty
докторант
г. Алматы
PhD student
Almaty
В этой статье мы рассматриваем вопросы обогащения языка в структуре, когда добавляется новый предикат, не совпадающий ни с одной формулой структуры. Для рассмотрения внешне определимых расширений мы вводим понятие расширения модели в существенном и несущественном случаях. При этом могут существенно меняться свойства вновь полученной структуры. Рассмотрен случай внешне определимого обогащения, когда новое отношение является пересечением формулы, определенной в элементарном расширении, с исходной структурой. Понятие равномерно внешне определимого расширения было впервые введено Макферсоном, Маркером и Стайнхорном в контексте расширений с помощью сечений в подмоделях o-минимальных структур над множеством вещественных чисел. Впоследствии Байжанов показал, что расширение модели слабо o-минимальной теории семейством выпуклых множеств сохраняет как слабую o-минимальность, так и равномерную внешнюю определимость. Получены условия на внешнее обогащение, при котором сохраняются основные свойства исходной структуры.
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.
The authors declare that there are no conflicts of interest present.