Geodesic
On algebras of distributions of binary formulas for theories of unars
The Bulletin of Irkutsk State University. Series Mathematics, Tome 17 (2016), pp. 23-36

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 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 give the description for algebras of distributions of binary isolating formulas for theories of unars with unary predicates, which is based on multiplication tables for these algebras. It is proved that any theory of unar with unary predicates defines, on a set of realizations of $1$-type, an algebra of of distributions of binary isolating formulas, which is obtained by an algebra isomorphic to exactly one of the following algebras: 1) the additive group of integer numbers, 2) a cyclic group, 3) a cyclic algebra with given number of connected components, 4) an algebra of free unar with given number of preimages for each element; 5) the additive monoid of natural numbers; 6) an algebra of low cones. In particular, if the unary function, in the unar, is a substitution, then the algebra of distributions of binary isolating formulas is defined by an algebra isomorphic to exactly one of the following algebras: the additive additive group of integer numbers, a cyclic group, a cyclic algebra with given number of connected components. The structures of these algebras allow to classify initial theories of substitutions. Finite algebras are exhausted by the following list: cyclic groups, cyclic algebras with given number of connected components, algebras of low cones.
Keywords: algebra of distributions of binary formulas, unar, elementary theory, unary predicate. 
@article{IIGUM_2016_17_a2,
     author = {D. Yu. Emelyanov},
     title = {On algebras of distributions of binary formulas for theories of unars},
     journal = {The Bulletin of Irkutsk State University. Series Mathematics},
     pages = {23--36},
     publisher = {mathdoc},
     volume = {17},
     year = {2016},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/IIGUM_2016_17_a2/}
}
TY  - JOUR
AU  - D. Yu. Emelyanov
TI  - On algebras of distributions of binary formulas for theories of unars
JO  - The Bulletin of Irkutsk State University. Series Mathematics
PY  - 2016
SP  - 23
EP  - 36
VL  - 17
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/IIGUM_2016_17_a2/
LA  - ru
ID  - IIGUM_2016_17_a2
ER  - 
%0 Journal Article
%A D. Yu. Emelyanov
%T On algebras of distributions of binary formulas for theories of unars
%J The Bulletin of Irkutsk State University. Series Mathematics
%D 2016
%P 23-36
%V 17
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IIGUM_2016_17_a2/
%G ru
%F IIGUM_2016_17_a2
D. Yu. Emelyanov. On algebras of distributions of binary formulas for theories of unars. The Bulletin of Irkutsk State University. Series Mathematics, Tome 17 (2016), pp. 23-36. http://geodesic.mathdoc.fr/item/IIGUM_2016_17_a2/