Literature cited
A. I. Mal'tsev, "Constructive algebras I," Uspekhi Mat. Nauk,16, No. 3, 3–60 (1961).
E. A. Polyakov, "Algebras of recursive functions," Algebra i Logika, Seminar,3, No. 1, 41–56 (1964).
E. A. Polyakov, "On some properties of algebras of recursive functions," Algebra i Logika, Seminar,3, No. 3, 39–57 (1964).
D. A. Zakharov, Algebras of One-Place Recursive Functions (in press).
H. Rogers, Jr., Theory of Recursive Functions and Effective Computability, McGraw-Hill, New York (1967).
A. I. Shcheglov, "The algebra of partially recursive functions," Algebra i Logika,6, No. 6, 33–48 (1967).
E. A. Polyakov, "Some properties of the algebras of general recursive functions," Kibernetika, No. 2, 20–23 (1967).
D. A. Zakharov, "Remarks on R. Robinson's algebra," International Congress of Mathematicians, Abstract of Short Scientific Communications, Section 1, Moscow (1966), p. 17.
Kh. Kh. Nasibullov, "On recursive functions with large range," Dokl. Akad. Nauk SSSR,178, No. 3, 539–541 (1968).
I. A. Lavrov and E. A. Polyakov, "On bases of algebras of recursive functions," Sibirsk. Matem. Zh.,7, No. 5, 1059–1067 (1966).
I. A. Lavrov, "The use of k-order arithmic progressions in constructing the bases of the algebra of primitive recursive functions," Dokl. Akad. Nauk SSSR,172, No. 2, 279–282 (1967).
V. V. Koz'minykh, "On subalgebras and bases of algebras of primitive recursive functions," Tenth All-Union Algebraic Colloquium, Abstracts of Communications and Papers,1, Novosibirsk (1969), p. 109.
V. V. Koz'minykh, "On one-place primitive recursive functions," Algebra i Logika,7, No. 1, 75–90 (1968).
A. V. Kuznetsov, "On primitive recursive functions of large range," Dokl. Akad. Nauk SSSR,71, No. 2, 233–236 (1950).
C. E. M. Yates, "Three theorems on the degrees of recursively enumerable sets," Duke Math. J.,32, No. 3, 461–468 (1965).
Additional information
Translated from Algebra i Logika, Vol. 9, No. 6, pp. 672–690, November–December, 1970.
Rights and permissions
About this article
Cite this article
Koz'minykh, V.V. On the subalgebras of R. Robinson's algebras. Algebr Logic 9, 403–415 (1970). https://doi.org/10.1007/BF02219045
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02219045