Geodesic
Algebras of distributions of binary formulas for theories of Archimedean solids
The Bulletin of Irkutsk State University. Series Mathematics, Tome 28 (2019), pp. 36-52

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

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. In the article we describe algebras of binary formulas for the theories of Archimedean solids. For the obtained algebras, Cayley tables are given. It is shown that these algebras are exhausted by described algebras for a truncated cube, truncated octahedron, rhombocuboctahedron, icosododecahedron, truncated tetrahedron, cubooctahedron, flat-nosed cube, flat-nosed dodecahedron, truncated cubooctahedron, rhomboicosododecahedron, truncated icosahedron, truncated dodecahedron, rhombo-truncated icosododecahedron.
Keywords: algebra of distributions of binary formulas, Archimedean solid. 
@article{IIGUM_2019_28_a2,
     author = {D. Yu. Emel'yanov},
     title = {Algebras of distributions of binary formulas for theories of {Archimedean} solids},
     journal = {The Bulletin of Irkutsk State University. Series Mathematics},
     pages = {36--52},
     publisher = {mathdoc},
     volume = {28},
     year = {2019},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/IIGUM_2019_28_a2/}
}
TY  - JOUR
AU  - D. Yu. Emel'yanov
TI  - Algebras of distributions of binary formulas for theories of Archimedean solids
JO  - The Bulletin of Irkutsk State University. Series Mathematics
PY  - 2019
SP  - 36
EP  - 52
VL  - 28
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/IIGUM_2019_28_a2/
LA  - ru
ID  - IIGUM_2019_28_a2
ER  - 
%0 Journal Article
%A D. Yu. Emel'yanov
%T Algebras of distributions of binary formulas for theories of Archimedean solids
%J The Bulletin of Irkutsk State University. Series Mathematics
%D 2019
%P 36-52
%V 28
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IIGUM_2019_28_a2/
%G ru
%F IIGUM_2019_28_a2
D. Yu. Emel'yanov. Algebras of distributions of binary formulas for theories of Archimedean solids. The Bulletin of Irkutsk State University. Series Mathematics, Tome 28 (2019), pp. 36-52. http://geodesic.mathdoc.fr/item/IIGUM_2019_28_a2/