Article PDF
Avoid common mistakes on your manuscript.
Literature Cited
Yu. L. Ershov, "Constructive models," in: Selected Questions of Algebra and Logic [in Russian], Novosibirsk (1973), pp. 111–130.
A. I. Mal'tsev, Algorithms and Recursive Functions [in Russian], Nauka (1965).
A. I. Mal'tsev, "Constructive algebras," Uspekhi Matem. Nauk,16, No. 3, 3–60 (1961).
A. I. Mal'tsev, "On recursive Abelian groups," Dokl. Akad. Nauk,146, No. 5, 1009–1012 (1962).
A. T. Nurtazin, "Category theory without principal model-complete extensions," Algebra i Logika,12, No. 3, 360 (1973).
L. A. Harrington, "Structures with rec. presentation," Notes Am. Math., Soc.,18, No. 5, 826 (1971).
R. L. Vaught, "Denumerable models of complete theories, infinistic methods," in: Proceedings of the Symposium on the Foundations of Mathematics, Warsaw (1961), pp. 303–321.
Additional information
Translated from Algebra i Logika, Vol. 13, No. 3, pp. 311–323, 1974.
Rights and permissions
About this article
Cite this article
Nurtazin, A.T. Strong and weak constructivization and computable families. Algebra and Logic 13, 177–184 (1974). https://doi.org/10.1007/BF01463352
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01463352