Non-Orthogonality of 1-types in Theories with a Linear Order
Неортогональность 1-типов в теориях с линейным порядком
Baizhanov B. Umbetbayev O. Zambarnaya T.
2025Irkutsk State University
Bulletin of Irkutsk State University, Series Mathematics
2025#53131 - 140 pp.
Non-orthogonality of complete types is an important concept for such classes of first-order theories as o-minimal, weakly-o-minimal and quite o-minimal theories. This concept is used in studying countable spectrum of such theories, since orthogonality affects omission and realization of types. Further study of the Vaught’s conjecture for small ordered theories requires the use of the relation between incomplete types, in particular, convex closures of 1-types. In this paper, two notions of non-orthogonality of convex incomplete types are introduced. Connections between different kinds of non-orthogonality are shown. Theorems on preservation of properties of types under non-orthogonality are proven.
convex closure , definable type , linear order , orthogonality (weak and almost) , quasirational type
Text of the article Перейти на текст статьи
Institute of Mathematics and Mathematical Modeling, Almaty, 050010, Kazakhstan
Institute of Mathematics and Mathematical Modeling
10 лет помогаем публиковать статьи Международный издатель
Книга Публикация научной статьи Волощук 2026 Book Publication of a scientific article 2026