## List of issues > Series «Mathematics». 2016. Vol. 15

##
On maximal clones of ultrafunctions of rank 2

This paper considers functions mapping a 2-element set A to all nonempty subsets of A. These functions are called ultrafunctions of rank 2. Ultrafunctions of rank 2 can be interpreted as functions on all non-empty subsets of A. Value of ultrafunction on set B ⊆ A is determined as intersection of values on all elements of B, if this intersection is not empty, and as union of these values otherwise. Thus an unltrafunction can be specified by all of its values on elements of A. Superposition of ultrafunctions is determined the same way.

_{5}, S

^{−}, T

^{−}

_{0}and T

^{−}

_{1}. These properties give some results concerning clone lattice (e.g., clones of intervals

*I*(T

_{0}∩T

_{1}, T

_{0}) and

*I*(T

_{0}∩T

_{1}, T

_{1}) are not included in clone S

^{−}all self-dual and monotone ultrafuncions are included in K

_{1}and K

_{2}). Some borders on classes of equivalence number are described (ultrafunctions not included in clones T

^{−}

_{1}and K

_{5}generate no more than 32 classes of equivalence by relation of belonging to maximal clones). These results can be applied to classification of ultrafunctions by their inclusion in maximal clones.

**MSC**

08A99, 03B50

1. Kazimirov A.S., Panteleev V. I., Tokareva L.V. Classification and Enumeration of Bases in Clone of All Hyperfunctions on Two-Elements Set (in Russia). The bulletin of Irkutsk State University. Mathematics, 2014, vol. 10, pp. 61-78.

2. Panteleev V.I. The Completeness Criterion for Certain Boolean Functions (in Russia). Vestnik of Samara State University. Natural Science Series, 2009, vol. 2, no 68, рр 60-79.

3. Yablonskij S.V. On the Superpositions of Logic Functions (in Russian). Mat. Sbornik, 1952, vol. 30, no 2(72), pp. 329-348.

4. Miyakawa M., Stojmenovi´c I., Lau D., Rosenberg I. Classification and basis enumerations in many-valued logics // Proc. 17th International Symposium on Multi-Valued logic. Boston, 1987, pp. 151-160.

5. Miyakawa M., Stojmenovi´c I., Lau D., Rosenberg I. Classification and basis enumerations of the algebras for partial functions. Proc. 19th International Symposium on Multi-Valued logic. Rostock, 1989, pp. 8-13.

6. Krni´c L. Types of bases in the algebra of logic/ Glasnik matematicko-fizicki i astronomski. Ser. 2, 1965, vol. 20, p. 23-32.

7. Lau D., Miyakawa M. Classification and enumerations of bases in Pk(2)/ Asian-European Journal of Mathematics, 2008, vol. 01, no 02, pp. 255-282.

8. Miyakawa M., Rosenberg I., Stojmenovi´c I. Classification of three-valued logical functions preserving 0. Discrete Applied Mathematics, 1990, vol. 28, pp. 231-249.

9. Post E. L. Two-valued iterative systems of mathematical logic. Annals of Math. Studies. Princeton, Univer. Press, 1941, vol. 5. 122 p.

10. Stojmenovi´c I. Classification of P3 and the enumeration of base of P3. Rev. of Res. 14, Fat. of Sci., Math. Ser. Novi Sad, 1984, pp. 73-80.