Geodesic
Algebras of binary isolating formulas for theories of root products of graphs
The Bulletin of Irkutsk State University. Series Mathematics, Tome 37 (2021), pp. 93-103 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 derived objects for given theory and reflect binary formula relations between realizations of $1$-types. These algebras are associated with the following natural classification questions: 1) for a given class of theories, determine which algebras correspond to the theories from this class and classify these algebras; 2) to classify theories from a given class depending on the algebras defined by these theories of isolating and semi-isolating formulas. Here the description of a finite algebra of binary isolating formulas unambiguously entails a description of the algebra of binary semi-isolating formulas, which makes it possible to track the behavior of all binary formula relations of a given theory. The paper describes algebras of binary formulae for root products. The Cayley tables are given for the obtained algebras. Based on these tables, theorems describing all algebras of binary formulae distributions for the root multiplication theory of regular polygons on an edge are formulated. It is shown that they are completely described by two algebras.
Keywords: algebra of binary isolating formulas, root product of graphs. 
@article{IIGUM_2021_37_a6,
     author = {D. Yu. Emel'yanov},
     title = {Algebras of binary isolating formulas for theories of root products of graphs},
     journal = {The Bulletin of Irkutsk State University. Series Mathematics},
     pages = {93--103},
     year = {2021},
     volume = {37},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/IIGUM_2021_37_a6/}
}
TY  - JOUR
AU  - D. Yu. Emel'yanov
TI  - Algebras of binary isolating formulas for theories of root products of graphs
JO  - The Bulletin of Irkutsk State University. Series Mathematics
PY  - 2021
SP  - 93
EP  - 103
VL  - 37
UR  - http://geodesic.mathdoc.fr/item/IIGUM_2021_37_a6/
LA  - en
ID  - IIGUM_2021_37_a6
ER  - 
%0 Journal Article
%A D. Yu. Emel'yanov
%T Algebras of binary isolating formulas for theories of root products of graphs
%J The Bulletin of Irkutsk State University. Series Mathematics
%D 2021
%P 93-103
%V 37
%U http://geodesic.mathdoc.fr/item/IIGUM_2021_37_a6/
%G en
%F IIGUM_2021_37_a6
D. Yu. Emel'yanov. Algebras of binary isolating formulas for theories of root products of graphs. The Bulletin of Irkutsk State University. Series Mathematics, Tome 37 (2021), pp. 93-103. http://geodesic.mathdoc.fr/item/IIGUM_2021_37_a6/

[1] Baizhanov B. S., Sudoplatov S. V., Verbovskiy V. V., “Conditions for non-symmetric relations of semi-isolation”, Siberian Electronic Mathematical Reports, 9 (2012), 161–184 | Zbl

[2] Emel'yanov D.Yu., “On algebras of distributions of binary formulas for theories of unars”, The Bulletin of Irkutsk State University. Series Mathematics, 17 (2016), 23–36 (in Russian) | Zbl

[3] Emel'yanov D.Yu., Kulpeshov B.Sh., Sudoplatov S. V., “Algebras of distributions for binary formulas in countably categorical weakly $o$-minimal structures”, Algebra and Logic, 56:1 (2017), 13–36 | DOI | Zbl

[4] Emel'yanov D.Yu., Kulpeshov B.Sh., Sudoplatov S. V., “Algebras of distributions of binary isolating formulas for quite $o$-minimal theories”, Algebra and Logic, 57:6 (2018), 429–444 | DOI

[5] Emel'yanov D.Yu., Sudoplatov S. V., “On deterministic and absorbing algebras of binary formulas of polygonometrical theories”, The Bulletin of Irkutsk State University. Series Mathematics, 20 (2017), 32–44 (in Russian) | Zbl

[6] Emel'yanov D.Yu., “Algebras of binary isolating formulas for simplex theories”, Collection of papers, Algebra and Model Theory, 11, NSTU Publisher, Novosibirsk, 2017, 66–74 (in Russian)

[7] Fink J. F., Jacobson M. S., Kinch L. F., Roberts J., “On graphs having domination number half their order”, Period. Math. Hungar., 16:4 (1985), 287–293 | DOI | Zbl

[8] Godsil C. D., McKay B. D., “A new graph product and its spectrum”, Bull. Austral. Math. Soc., 18:1 (1978), 21–28 | DOI | Zbl

[9] Koh K. M., Rogers D. G., Tan T., “Products of graceful trees”, Discrete Mathematics, 31:3 (1980), 279–292 | DOI | Zbl

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

[11] Sudoplatov S. V., Classification of countable models of complete theories, v. 1, NSTU Publisher, Novosibirsk, 2018, 376 pp. (in Russian)

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

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

[14] Sudoplatov S. V., “Algebras of distributions for binary semi-isolating formulas for families of isolated types and for countably categorical theories”, International Mathematical Forum, 9:21 (2014), 1029–1033 | DOI