Geodesic
On deterministic and absorbing algebras of binary formulas of polygonometrical theories
The Bulletin of Irkutsk State University. Series Mathematics, Tome 20 (2017), pp. 32-44 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 structures for a given theory. These algebras reflect binary links between realizations of $1$-types defined by formulas of the initial theory. Thus these are two sorts of interrelated classification problems: 1) to define, for a given class of theories, what algebras correspond to theories in this class and to classify these algebras; 2) to classify theories in the class in the dependence of algebras of isolating and semi-isolating algebras that defined by these theories. For the finite algebras of binary isolating formulas that description implies the description for the algebra of binary semi-isolating formulas. In the paper, we investigate deterministic, almost deterministic, and absorbing algebras of binary formulas of polygonometrical theories. The properties of determinism and almost determinism for algebras of binary isolating formulas of polygonometrical theories are characterized. As corollary we have that any group generates a deterministic algebra of a polygonometrical theory. The notion of $n$-almost deterministic algebra is introduced, examples and properties of these algebras are stated. A description of these algebras for theories of graphs of regular polyhedrons is given. It is shown that any group is a side-group of a trigonometry with $2$-absorbing algebra of binary isolating formulas.
Keywords: algebra of binary formulas, deterministic algebra, absorbing algebra, polygonometrical theory. 
@article{IIGUM_2017_20_a2,
     author = {D. Yu. Emelyanov and S. V. Sudoplatov},
     title = {On deterministic and absorbing algebras of binary formulas of polygonometrical theories},
     journal = {The Bulletin of Irkutsk State University. Series Mathematics},
     pages = {32--44},
     year = {2017},
     volume = {20},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/IIGUM_2017_20_a2/}
}
TY  - JOUR
AU  - D. Yu. Emelyanov
AU  - S. V. Sudoplatov
TI  - On deterministic and absorbing algebras of binary formulas of polygonometrical theories
JO  - The Bulletin of Irkutsk State University. Series Mathematics
PY  - 2017
SP  - 32
EP  - 44
VL  - 20
UR  - http://geodesic.mathdoc.fr/item/IIGUM_2017_20_a2/
LA  - ru
ID  - IIGUM_2017_20_a2
ER  - 
%0 Journal Article
%A D. Yu. Emelyanov
%A S. V. Sudoplatov
%T On deterministic and absorbing algebras of binary formulas of polygonometrical theories
%J The Bulletin of Irkutsk State University. Series Mathematics
%D 2017
%P 32-44
%V 20
%U http://geodesic.mathdoc.fr/item/IIGUM_2017_20_a2/
%G ru
%F IIGUM_2017_20_a2
D. Yu. Emelyanov; S. V. Sudoplatov. On deterministic and absorbing algebras of binary formulas of polygonometrical theories. The Bulletin of Irkutsk State University. Series Mathematics, Tome 20 (2017), pp. 32-44. http://geodesic.mathdoc.fr/item/IIGUM_2017_20_a2/

[1] Sudoplatov S.V., Classification of Countable Models of Complete Theories, v. 1, NSTU, Novosibirsk, 2014, 356 pp. (in Russian)

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

[3] Emelyanov D.Yu., “Algebras of distributions of binary isolating formulas for embedded equivalence relations”, Algebra and Model Theory 10, Collection of papers, NSTU Publisher, Novosibirsk, 2015, 59–70

[4] Emelyanov D.Yu., “On algebras of distributions of binary formulas for theories of unars”, Izvestiya Irk. Gos. Universiteta. Seriya “Matematika”, 17 (2016), 23–36 | Zbl

[5] Emelyanov 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), 20–54

[6] Sudoplatov S.V., “On classification of group polygonometries”, Siberian Advances in Mathematics, 11:3 (2001), 98-125 ; (2013), 302 с. | MR | Zbl

[7] Sudoplatov S.V., Group Polygonometries, NSTU, Novosibirsk, 2011; 2013, 302 pp. (in Russian)

[8] Sudoplatov S.V., Siberian Mathematical Journal, 38:4 (1997), 801-806 | DOI | MR | Zbl

[9] S. V. Sudoplatov, “Deterministic and absorbing algebras”, 9th Panhellenic Logic Symposium (July 15-18, 2013, National Technical University of Athens, Greece), NTUA, Athens, 2013, 91–96

[10] Emelyanov D.Yu., “On almost deterministic algebras of binary isolating formulas”, Internat. conf. “Mal'tsev Meeting”, Collection of abstracts, IM SB RAS, Novosibirsk, 2016, 182