Preview

Herald of the Kazakh-British Technical University

Advanced search

EXAMPLES OF O-MINIMAL EXPANSIONS OF THE DENSE MEET TREE

https://doi.org/10.55452/1998-6688-2025-22-2-260-266

Abstract

The notion of o-minimality is highly productive for linearly ordered structures, but a direct transfer of this concept to partially ordered sets encounters certain difficulties. Indeed, there is a striking scarcity of works on o-minimal partially ordered structures. The standard definition of o-minimality for partially ordered structures states that every definable subset is a Boolean combination of intervals and points. However, since Boolean combinations involve the operation of taking set complements, and in partially ordered sets the complement of an interval can be extremely complex, this approach presents certain challenges for studying the resulting class of structures. We propose using an alternative definition of o-minimality: a partially ordered structure is o-minimal if every definable subset is a finite union of generalized intervals and points. In the paper, we provide a number of examples demonstrating that this definition is nontrivial and that there exist structures which are o-minimal in this new sense.

About the Authors

V. V. Verbovsky
Institute of Mathematics and Mathematical Modeling; Satbayev University
Kazakhstan

d.ph.m.sc., docent 

Almaty



A. B. Dauletiyarova
Institute of Mathematics and Mathematical Modeling; SDU University
Russian Federation

MSc 

Almaty

Kaskelen

 



References

1. Dauletiyarova A. B., Verbovskiy V.V. On the number of countable models of constant and unary predicates expansions of the dense meet-tree theory, Siberian Electronic Mathematical Reports, 21 (2), 755–770 (2024).

2. Dauletiyarova A.B., Verbovskiy V.V. O ponyatii o-minimalnosti dlya chastichnykh poryadkov na primere plotnogo dereva vstrech, Proceeding of “Maltsev Meeting, 2024” (Novosibirsk, Mathematical center in Academgorodok, 2024), p. 239 [in Russian].

3. Kudaibergenov K. Zh. Generalized o-minimality for partial orders. Siberian Adv. Math., 23 (1), 47–60 (2013) [in Russian].

4. Kulpeshov B. Sh. On connectedness in partially ordered structures. AIP Proceedings 1759, 020062 (2016). https://doi.org/10.1063/1.4969676.

5. Emelyanov D.Yu., Kulpeshov B.Sh., Sudoplatov S.V. Algebras of binary formulas for some partially ordered theories. Algebra and Model Theory 13 (collection of papers edited by A. G. Pinus, E.N. Poroshenko, and S.V. Sudoplatov) (NSTU, Novosibirsk, 2021), pp. 69–75.

6. Newelski L., Wencel R. Definable sets in Boolean-ordered o-minimal structures. I, The Journal of Symbolic Logic, 66 (4), 1821–1836 (2001). https://doi.org/10.2307/2694978.

7. Peretyat'kin M. G. On complete theories with a finite number of denumerable models, Algebra and Logic, 12 (5), 310–326 (1973).

8. Sudoplatov S.V., Verbovskiy V.V. On the concepts of convexity and weak o-minimality for partially ordered structures, Herald of the Kazakh-British technical university, 21 (1), 75–84 (2024) [in Russian]. https://doi.org/10.55452/1998-6688-2024-21-1-75-84.

9. Toffalori C. Lattice ordered o-minimal structures, Notre Dame Journal of Formal Logic, 39 (4), 447–463 (1998). https://doi.org/10.1305/ndjfl/1039118862.


Review

For citations:


Verbovsky V.V., Dauletiyarova A.B. EXAMPLES OF O-MINIMAL EXPANSIONS OF THE DENSE MEET TREE. Herald of the Kazakh-British Technical University. 2025;22(2):260-266. (In Russ.) https://doi.org/10.55452/1998-6688-2025-22-2-260-266

Views: 15


Creative Commons License
This work is licensed under a Creative Commons Attribution 4.0 License.


ISSN 1998-6688 (Print)
ISSN 2959-8109 (Online)