Abstract
We study variations of the concept of separable enumeration and, basing on that, describe a series of algorithmic and algebraic concepts. In this framework we characterize negative equivalences, describe enumerated algebras with the most general separability conditions, give a separability criterion for the enumerated algebras satisfying the descending chain condition for the lattices of congruences, and consider some questions related to the algorithmic complexity of enumerations of the algebras satisfying various separability axioms.
Similar content being viewed by others
References
Ershov Yu. L., The Theory of Enumerations [in Russian], Nauka, Moscow (1977).
Ershov Yu. L. and Goncharov S. S., Constructive Models, Ser. Siberian School of Algebra and Logic, Kluwer Academic/Plenum Publishers, New York, etc. (2000).
Mal’tsev A. I., “To the general theory of algebraic systems,” Mat. Sb., 35, No. 1, 3–20 (1954).
Mal’tsev A. I., “Constructive algebras. I,” Russian Math. Surveys, 16, No. 3, 77–129 (1961).
Mal’tsev A. I., “Positive and negative numerations,” Dokl. Akad. Nauk SSSR, 160, No. 2, 278–280 (1965).
Kasymov N. Kh., “Recursively separable enumerated algebras,” Russian Math. Surveys, 51, No. 3, 509–538 (1996).
Kasymov N. Kh., “Algebras over negative equivalences,” Algebra and Logic, 33, No. 1, 46–48 (1994).
Kasymov N. Kh., “On semigroups of recursive automorphisms of enumerable systems,” Dokl. Akad. Nauk Republic Uzbekistan, No. 12, 3–4 (1996).
Kasymov N. Kh. and Morozov A. S., “On definability of linear orders over negative equivalences,” Algebra and Logic (to be published).
Khoussainov B., Slaman T., and Semukhin P., “π1 0-Presentations of algebras,” Arch. Math. Logic, 45, No. 6, 769–781 (2006).
Author information
Authors and Affiliations
Corresponding author
Additional information
Tashkent. Translated from Sibirskiĭ Matematicheskiĭ Zhurnal, Vol. 57, No. 1, pp. 47–66, January–February, 2016; DOI: 10.17377/smzh.2016.57.105.
Rights and permissions
About this article
Cite this article
Kasymov, N.K. Homomorphisms onto effectively separable algebras. Sib Math J 57, 36–50 (2016). https://doi.org/10.1134/S0037446616010055
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0037446616010055