Complexes of relational structures and their properties
Sibirskie èlektronnye matematičeskie izvestiâ, Tome 20 (2023) no. 2, pp. 1381-1385
Cet article a éte moissonné depuis la source Math-Net.Ru
We introduce the notion of a complex of relational structures, which is a new structure satisfying certain conditions with respect to the given finite collection of relation structures. We study some of its model-theoretic properties in relation with base structures, and show that, mostly, in order for the complex to have some property it should be generated by structures having given property. Furthermore, we introduce the notion of finitely equivalent sets of the structure, and based on it introduce properties of regularity, strictness, and properness, that allow us to guarantee that the complex generated by a collection of structures having сertain model-theoretic properties will also have these properties. We show that the structure of the complex and its properness and strictness are preserved under expansions of the structure by new relations satisfying сertain conditions.
Keywords:
complex of structures
Mots-clés : composition of structures, relational structure.
Mots-clés : composition of structures, relational structure.
@article{SEMR_2023_20_2_a17,
author = {I. A. Emelianenkov},
title = {Complexes of relational structures and their properties},
journal = {Sibirskie \`elektronnye matemati\v{c}eskie izvesti\^a},
pages = {1381--1385},
year = {2023},
volume = {20},
number = {2},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/SEMR_2023_20_2_a17/}
}
I. A. Emelianenkov. Complexes of relational structures and their properties. Sibirskie èlektronnye matematičeskie izvestiâ, Tome 20 (2023) no. 2, pp. 1381-1385. http://geodesic.mathdoc.fr/item/SEMR_2023_20_2_a17/
[1] S.V. Sudoplatov, “Distributions of countable models of disjoint unions of Ehrenfeucht theories”, Lobachevskii J. Math., 42:1 (2021), 195–205 | DOI | MR | Zbl
[2] S.V. Sudoplatov, “Combinations of structures”, Izv. Irkutsk. Gos. Univ., Ser. Mat., 24 (2018), 82–101 | DOI | MR | Zbl
[3] D.Yu. Emel'yanov, B.Sh. Kulpeshov, S.V. Sudoplatov, “Algebras of binary formulas for compositions of theories”, Algebra Logic, 59:4 (2020), 295–312 | DOI | MR | Zbl
[4] F. Harary, Graph theory, Addison-Wesley, Reading, Mass. etc, 1969 | MR | Zbl
[5] A. Pillay, An introduction to stability theory, Clarendon Press, Oxford, 1983 | MR | Zbl