ON O-MINIMALITY FOR EXPANSIONS OF A DENSE MEET-TREE

Dauletiyarova A.
21 June 2025 al-Farabi Kazakh State National University

KazNU Bulletin. Mathematics, Mechanics, Computer Science Series
2025 #126 Issue 2 59 - 68 pp.

This paper aims to define the notion of o-minimality for partially ordered sets. Originally, the notion of o-minimality was introduced for linearly ordered sets in the following way: A linearly ordered structure is said to be o-minimal if any definable subset is a finite union of intervals and points. For partially ordered sets, this definition does not work. One of the main reasons for this is that the complement of an interval need not be a finite union of intervals, as happens in linearly ordered sets. Here we suggest a notion of a generalized interval which makes possible defining ominimality for such a partial case of partially ordered sets as a dense meet-tree in a classical way: an expansion of a dense meet-tree is said to be o-minimal if any definable subset is a finite union of generalized interval and points. We think that this approach allows us to transfer the machinery for investigating o-minimality for linearly ordered structures to partially ordered structures.

Ehrenfeucht’s theory , linearly ordered set , ominimality , partially ordered set , small theory

Text of the article Перейти на текст статьи

SDU University, d aigera95@mail.ru, Kaskelen, Kazakhstan

SDU University

10 лет помогаем публиковать статьи Международный издатель

Книга Публикация научной статьи Волощук 2026 Book Publication of a scientific article 2026