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.

MSC

03C07, 03C60, 03G15, 20N02, 08A60

1. Ryaskin A. N. The number of models of complete theories of unars. Model Theory and Its Applications, Tr. Inst. Mat. SO AN SSSR, 1988, vol. 8, pp. 162-182.

2. Sudoplatov S.V. Classification of Countable Models of Complete Theories, Part 1. Novosibirsk, NSTU, 2014.

3. Shishmarev Yu.E. On categorical theories of one function. Mat. Zametki, 1972, vol. 11, no 1, pp. 89-98.

4. Baizhanov B.S. Orthogonality of one types in weakly o-minimal theories. Algebra and Model Theory 2. Collection of papers by eds.: A. G. Pinus, K. N. Ponomaryov. Novosibirsk, NSTU, 1999, pp. 5–28.

5. Baizhanov B.S. Kulpeshov B.Sh. On behaviour of 2-formulas in weakly o-minimal theories. Mathematical Logic in Asia, Proceedings of the 9th Asian Logic Conference by eds.: S. Goncharov, R. Downey, H. Ono. Singapore, World Scientific, 2006, pp. 31-40.

6. Baizhanov B.S., Sudoplatov S.V., Verbovskiy V.V. Conditions for non-symmetric relations of semi-isolation. Siberian Electronic Mathematical Reports, 2012, vol. 9, pp. 161-184.

7. Ivanov A.A. Complete theories of unars. Algebra and Logic, 1984, vol. 23, no 1, pp. 36-55.

8. Kulpeshov B.Sh., Sudoplatov S.V., Yemelyanov D.Yu. On algebras of distributions for binary formulas of countably categorical weakly o-minimal theories. Book of Abstracts. 15th Congress of Logic, Methodology and Philosophy of Science, CLMPS 2015, Congress of the Division of Logic, Methodology and Philosophy of Science(DLMPS), Logic Colloquium 2015, LC 2015, Annual European Summer Meeting of the Association for Symbolic Logic (ASL), Helsinki 3–8 August 2015, University of Helsinki, 2015. p. 663.

9. Marcus L. The number of countable models of a theory of one unary function. Fundamenta Mathematicae, 1980, vol. CVIII, issue 3, pp. 171–181.

10. Pillay A. Countable models of stable theories. Proc. Amer. Math. Soc., 1983, vol. 89, no 4, pp. 666-672.

11. Shulepov I.V., Sudoplatov S.V. Algebras of distributions for isolating formulas of a complete theory. Siberian Electronic Mathematical Reports, 2014, vol. 11, pp. 380-407.

12. Sudoplatov S.V. Hypergraphs of prime models and distributions of countable models of small theories. J. Math. Sciences, 2010, vol. 169, no 5, pp. 680-695.

13. Sudoplatov S.V. Algebras of distributions for semi-isolating formulas of a complete theory. Siberian Electronic Mathematical Reports, 2014, vol. 11, pp. 408-433.

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, 2014, vol. 9, no 21, pp. 1029-1033.