Geodesic
Algebras of binary isolating formulas for tensor product theories
The Bulletin of Irkutsk State University. Series Mathematics, Tome 41 (2022), pp. 131-139

Voir la notice de l'article provenant de la source Math-Net.Ru

Algebras of distributions of binary isolating and semi-isolating formulae are derived objects for a given theory and reflect binary formula relations between 1-type realizations. These algebras are related to the following natural classification questions: 1) for a given class of theories, determine which algebras correspond to theories from that class, and classify those algebras; 2) classify theories from the class according to the isolating and semi-isolating formulae algebras defined by those theories. The description of a finite algebra of binary isolating formulas unambiguously implies the description of an algebra of binary semi-isolating formulas, which makes it possible to trace the behavior of all binary formula relations of a given theory. The paper describes algebras of binary formulas for tensor products. The Cayley tables are given for the obtained algebras. Based on these tables, theorems are formulated describing all algebras of binary formulae distributions for tensor multiplication theory of regular polygons on an edge. It is shown that they are completely described by two algebras.
Keywords: algebra of binary isolating formulas, tensor product, model theory, Cayley tables. 
@article{IIGUM_2022_41_a9,
     author = {Dmitry Yu. Emelyanov},
     title = {Algebras of binary isolating formulas for tensor product theories},
     journal = {The Bulletin of Irkutsk State University. Series Mathematics},
     pages = {131--139},
     publisher = {mathdoc},
     volume = {41},
     year = {2022},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/IIGUM_2022_41_a9/}
}
TY  - JOUR
AU  - Dmitry Yu. Emelyanov
TI  - Algebras of binary isolating formulas for tensor product theories
JO  - The Bulletin of Irkutsk State University. Series Mathematics
PY  - 2022
SP  - 131
EP  - 139
VL  - 41
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/IIGUM_2022_41_a9/
LA  - en
ID  - IIGUM_2022_41_a9
ER  - 
%0 Journal Article
%A Dmitry Yu. Emelyanov
%T Algebras of binary isolating formulas for tensor product theories
%J The Bulletin of Irkutsk State University. Series Mathematics
%D 2022
%P 131-139
%V 41
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IIGUM_2022_41_a9/
%G en
%F IIGUM_2022_41_a9
Dmitry Yu. Emelyanov. Algebras of binary isolating formulas for tensor product theories. The Bulletin of Irkutsk State University. Series Mathematics, Tome 41 (2022), pp. 131-139. http://geodesic.mathdoc.fr/item/IIGUM_2022_41_a9/