On properties preserved via types and tuples of relations | Sciact - Система учета научной деятельности ИМ СО РАН

On properties preserved via types and tuples of relations Научная публикация

Журнал

Mathematics and Statistics
ISSN: 2332-2071 , E-ISSN: 2332-2144

Вых. Данные

Год: 2026, Том: 14, Номер: 1, Страницы: 180-187 Страниц : 8 DOI: 10.13189/ms.2026.140115

Ключевые слова

Structure, Type, Relation, Preservation of Properties

Авторы

Rajabov Temurboy E. ¹ , Sudoplatov Sergey V. ^2,3

Организации

1	Department of Algebra and Mathematical Logic, Faculty of Mechanics and Mathematics, Novosibirsk State University, Novosibirsk 630090, Russia
2	Laboratory of Logical Systems, Sobolev Institute of Mathematics, Novosibirsk 630090, Russia
3	Department of Algebra and Mathematical Logic, Faculty of Applied Mathematics and Computer Science, Novosibirsk State Technical University, Novosibirsk 630073, Russia

Информация о финансировании (1)

Министерство науки и высшего образования РФ

FWNF-2026-0032

In mathematics, many natural properties influence or are obtained as a result of the influence of various types of preservation of certain attributes. This applies to geometric, algebraic, logical, dynamic, probabilistic and other mathematical objects that allow us to reveal and classify relationships of the surrounding reality, define new structures and build new significant systems that make it possible to solve theoretical and applied problems. Among these constructions, the fundamental ones are substructures, quotients, filtered products of structures, their combinations, combinations with respect to given families of predicates and equivalence relations, semantic and syntactic generic constructions, etc. Various kinds of preservation of properties were used in the classification of countable models of complete theories and algebras of binary formulae. We study general possibilities of preservation of properties via types producing natural classes of relations. We apply a general approach and characterize properties of reflexivity, non-reflexivity, irreflexivity, symmetry, asymmetry, antisymmetry, transitivity, nontransitivity, and linearity in terms of preservation via appropriate types, together with the properties of orders, preorders and equivalence relations. In terms of preservation, we prove characterizations for precomplete, complete, predense, and dense binary relations, together with linear and dense orders. Besides, we characterize the existence of contours and the projectivity property. Natural generalizations of these properties, axiomatizing spherical orders, are also characterized, forming a description of spherical orders by their preservations. A series of open problems that naturally arise under the consideration of various kinds of type-preservation is posed.

Rajabov T.E. , Sudoplatov S.V.
On properties preserved via types and tuples of relations
Mathematics and Statistics. 2026. V.14. N1. P.180-187. DOI: 10.13189/ms.2026.140115

Поступила в редакцию:	14 окт. 2025 г.
Принята к публикации:	24 февр. 2026 г.
Опубликована в печати:	12 мар. 2026 г.
Опубликована online:	12 мар. 2026 г.

Нет идентификаторов