Geodesic
Algebras of binary isolating formulas for strong product theories
The Bulletin of Irkutsk State University. Series Mathematics, Tome 45 (2023), pp. 138-144 Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

Algebras of distributions of binary isolating and semi-isolating formulas are objects that are derived for a given theory, and they specify the relations between binary formulas of the theory. These algebras are useful for classifying theories and determining which algebras correspond to which theories. In the paper, we discuss algebras of binary formulas for strong products and provide Cayley tables for these algebras. On the basis of constructed tables we formulate a theorem describing all algebras of distributions of binary formulas for the theories of strong multiplications of regular polygons on an edge. In addition, we shows that these algebras can be absorbed by simplex algebras, which simplify the study of that theory and connect it with other algebraic structures. This concept is a useful tool for understanding the relationships between binary formulas of a theory.
Keywords: algebra of binary isolating formulas, strong product, model theory, Cayley tables. 
@article{IIGUM_2023_45_a8,
     author = {Dmitry Yu. Emel'yanov},
     title = {Algebras of binary isolating formulas for strong product theories},
     journal = {The Bulletin of Irkutsk State University. Series Mathematics},
     pages = {138--144},
     year = {2023},
     volume = {45},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/IIGUM_2023_45_a8/}
}
TY  - JOUR
AU  - Dmitry Yu. Emel'yanov
TI  - Algebras of binary isolating formulas for strong product theories
JO  - The Bulletin of Irkutsk State University. Series Mathematics
PY  - 2023
SP  - 138
EP  - 144
VL  - 45
UR  - http://geodesic.mathdoc.fr/item/IIGUM_2023_45_a8/
LA  - en
ID  - IIGUM_2023_45_a8
ER  - 
%0 Journal Article
%A Dmitry Yu. Emel'yanov
%T Algebras of binary isolating formulas for strong product theories
%J The Bulletin of Irkutsk State University. Series Mathematics
%D 2023
%P 138-144
%V 45
%U http://geodesic.mathdoc.fr/item/IIGUM_2023_45_a8/
%G en
%F IIGUM_2023_45_a8
Dmitry Yu. Emel'yanov. Algebras of binary isolating formulas for strong product theories. The Bulletin of Irkutsk State University. Series Mathematics, Tome 45 (2023), pp. 138-144. http://geodesic.mathdoc.fr/item/IIGUM_2023_45_a8/

[1] Emel'yanov D.Yu., “On the algebra distributions of binary formulas of unary theories”, The Bulletin of Irkutsk State University. Series Mathematics, 17 (2016), 23–36 | Zbl

[2] Emelyanov D.Y., “Algebras of binary isolating formulas for simplex theories”, Algebra and Model Theory $11$, Collection of papers, NSTU Publ, Novosibirsk, 2017, 66–74

[3] Emel'yanov D.Yu., “Algebras of binary isolating formulas for theories of Cartesian products of graphs”, Algebra and model theory $12$, Collection of papers, NSTU Publ, Novosibirsk, 2019, 21–31 | MR

[4] Emelyanov D.Yu., “Algebra distributions of binary formulas for theories of Archimedean bodies”, The Bulletin of Irkutsk State University. Series Mathematics, 28 (2019), 36–52 | DOI | MR | Zbl

[5] Emelyanov D.Y., Sudoplatov S.V., “Structure of algebras of binary formulas of polygonometric theories with symmetry condition”, Siberian Electronic Mathematical Reports, 17 (2020), 1–20 | DOI | MR | Zbl

[6] Hahn G., Sabidussi G. (eds.), Graph symmetry: algebraic methods and applications, Nato Science Series C, 497, Springer, 1997, 418 pp. | MR

[7] Harari F., Graph theory, Editorial URSS Publ, M., 2003, 300 pp. (in Russian) | MR

[8] Shulepov I.V., Sudoplatov S.V., “Algebras of distributions for isolating formulas of a complete theory”, Siberian Electronic Mathematical Reports, 11 (2014), 380–407 | MR | Zbl

[9] Sudoplatov S.V., “Hypergraphs of prime models and distributions of countable models of small theories”, J. Math. Sciences, 169:5 (2010), 680–695 | DOI | MR | Zbl

[10] Sudoplatov S.V., “Algebras of distributions for semi-isolating formulas of a complete theory”, Siberian Electronic Mathematical Reports, 11 (2014), 408–433 | MR | Zbl

[11] Sudoplatov S.V., Classification of countable models of complete theories, v. 1, NSTU Publ, Novosibirsk, 2018, 376 pp.