This article is cited in 1 paper

Algebraic and logical methods in computer science and artificial intelligence

Non-orthogonality of 1-types in theories with a linear order

Bektur Baizhanov^a, Olzhas Umbetbayev^ab, Tatyana Zambarnaya<sup>a

a</sup> Institute of Mathematics and Mathematical Modeling, Almaty, Kazakhstan
^b Kazakh-British Technical University, Almaty, Kazakhstan

Abstract: 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.

Keywords: linear order, convex closure, orthogonality (weak and almost), definable type, quasirational type.

UDC: 510.67

MSC: 03C64

Received: 09.11.2024
Revised: 14.04.2025
Accepted: 10.06.2025

Language: English

DOI: 10.26516/1997-7670.2025.53.131