Literature Cited
S. S. Goncharov, “Information models and languages for their description,” Vychislitel'nye Sistemy, No. 107, 52–70 (1985).
N. Kh. Kasymov, “On algebras with finitely approximable positively representable enrichments,” Algebra Logika,26, No. 6, 715–730 (1987).
N. Kh. Kasymov and B. M. Khusainov, “Finitely generated representable and absolutely locally finite algebras,” Vyschislitel'nye Sistemy, No. 116, 3–15 (1986).
Yu. L. Ershov, Problems of Solvability and Constructive Models [in Russian], Nauka, Moscow (1980).
H. Rodgers, Theory of Recursive Functions and Effective Computability [Russian translation], Mir, Moscow (1976).
Additional information
Tashkent. Translated from Sibirskii Matematicheskii Zhurnal, Vol. 32, No. 3, pp. 184–191, May–June, 1991.
Rights and permissions
About this article
Cite this article
Khusainov, B.M. On positive enumerated models. Sib Math J 32, 507–513 (1991). https://doi.org/10.1007/BF00970490
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00970490