Abstract
We prove the negativity of separable enumerations of division rings and establish that the effective embeddability of a commutative integral domain in a separably enumerated field is equivalent to its negativity.
Similar content being viewed by others
References
Soare R. I., Recursively Enumerable Sets and Degrees, Springer–Verlag, Heidelberg (1987).
Ershov Yu. L., The Theory of Enumerations [Russian], Nauka, Moscow (1977).
Ershov Yu. L., Decidability Problems and Constructive Models [Russian], Nauka, Moscow (1980).
Ershov Yu. L. and Goncharov S. S., Constructive Models, Ser. Siberian School of Algebra and Logic, Kluwer Academic/Plenum Publishers, New York, etc. (2000).
Khoussainov B., Slaman T., and Semukhin P., “\(\Pi_1^0\)–Presentations of algebras,” Arch. Math. Logic, vol. 45, No. 6, 769–781 (2006).
Kasymov N. Kh., “Homomorphisms onto effectively separable algebras,” Sib. Math. J., vol. 57, No. 1, 36–50 (2016).
Kasymov N. Kh., “Recursively separable enumerated algebras,” Russian Math. Surveys, vol. 51, No. 3, 509–538 (1996).
Malcev A. I., “To the general theory of algebraic systems,” Mat. Sb., vol. 35, No. 1, 3–20 (1954).
Malcev A., “On the immersion of an algebraic ring into a field,” Math. Ann., vol. 113, 686–691 (1937).
Author information
Authors and Affiliations
Corresponding authors
Additional information
The authors were supported by the fund “Heritage of Academician T. N. Kary-Niyazov.”
__________
Translated from Sibirskii Matematicheskii Zhurnal, vol. 60, no. 1, pp. 82–94, January–February, 2019; DOI: 10.17377/smzh.2019.60.107.
Rights and permissions
About this article
Cite this article
Kasymov, N.K., Ibragimov, F.N. Separable Enumerations of Division Rings and Effective Embeddability of Rings Therein. Sib Math J 60, 62–70 (2019). https://doi.org/10.1134/S0037446619010075
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0037446619010075