Abstract
We establish a criterion determining whether an Abelian group is constructivizable, which is then used to prove that for any natural number r≥1, there exists a principal computable enumeration λ of the class Kr of all constructive groups whose torsion-free ranks are distinct from zero and do not exceed r.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Yu. L. Ershov,Theory of Numerations [in Russian], Nauka, Moscow (1977).
Yu. L. Ershov,Problems of Decidability and Constructive Models [in Russian], Nauka, Moscow (1980).
The Logical Notebook, Institute of Mathematics SO AN SSSR, Novosibirsk (1986).
N. G. Khisamiev, “Constructive periodic Abelian groups,”Abstracts of 5th Kazakhstan Conference in mathematics and Mechanics, Vol. 2, Alma-Ata (1974), p. 253.
V. P. Dobritsa, “Computability of some classes of constructive algebras,”Sib. Mat. Zh.,18, No. 3, 570–579 (1977).
N. G. Khisamiev, “Constructibility criterion for a torsion-free Abelian group,” inAlgebra, Logics, and Applications [in Russian], Irkutsk (1994), pp. 56–64.
A. I. Mal’tsev,Algorithms and Recursive Functions [in Russian], 2nd edn., Nauka, Moscow (1986).
M. I. Kargapolov and Yu. I. Merzlyakov,Fundamentals of Group Theory [in Russian], 3d edn., Nauka, Moscow (1982).
A. I. Mal’tsev, “Abelian groups of a finite rank without torsion,”Mat. Sb.,4, No. 1, 45–67 (1938).
Additional information
Translated fromAlgebra i Logika, Vol. 38, No. 6, pp. 743–760, November–December, 1999.
Rights and permissions
About this article
Cite this article
Khisamiev, N.G. Constructivizability criterion for an Abelian group. Algebr Logic 38, 410–419 (1999). https://doi.org/10.1007/BF02671737
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02671737