Literature Cited
S. A. Berezin, "An algebra of one-place primitive recursive functions with iteration operation of general form," Kibernetika, No. 3, 12–19 (1976).
G. P. Gavrilov, "Functional completeness in a countably valued logic," in: Problems of Cybernetics [in Russian], No. 15 (1965), pp. 5–64.
D. A. Zakharov, Recursive Functions [in Russian], Novosibirsk (1970).
V. V. Koz'minykh, "One-place primitive recursive functions," Algebra Logika,7, 75–90 (1968).
A. I. Mal'tsev, "Iterative algebras and Post varieties," Algebra Logika,5, 5–24 (1966).
A. I. Mal'tsev, "Constructive algebras. I," Usp. Mat. Nauk,16, No. 3, 3–60 (1961).
S. S. Marchenkov, "Bounded recursions," Math. Balkanica,2, 124–142 (1972).
S. S. Marchenkov, "Elimination of recursion schemes in the Grzegorczyk class," Mat. Zametki,5, No. 5, 561–568 (1969).
V. L. Mikheev, "A class of algebras of primitive recursive functions," Mat. Zametki,14, No. 1 143–156 (1973).
S. V. Pakhomov, "A simple syntactical definition of all classes of the Grzegorczyk hierarchy," Zap. Nauch. Sem. Leningr. Otd. Mat. Inst. Akad. Nauk SSSR,40, 127–130 (1974).
H. Rogers, Jr., Theory of Recursive Functions and Effective Computability, McGraw-Hill (1967).
M. G. Rozinas, "An algebra of many-place primitive recursive functions," Uch. Zap. Ivanovsk. Gos. Pedagog. Inst.,117, 95–111 (1972).
A. Cobham, "The intrinsic computational difficulty of functions," in: Logic, Methodology and Philosophy of Science, Amsterdam (1965), pp. 24–30.
A. Grzegorczyk, "Some classes of recursive functions," in: Rozprawy Matematiczne, Vol. 4, Warsaw (1953).
R. W. Ritchie, "Classes of predictably computable functions," Trans. Am. Math. Soc.,106, 139–173 (1963).
Additional information
Translated from Algebra i Logika, Vol. 17, No. 5, pp. 581–595, September–October, 1978.
Rights and permissions
About this article
Cite this article
Marchenkov, S.S. A method for constructing maximal subalgebras of algebras of general recursive functions. Algebra and Logic 17, 383–392 (1978). https://doi.org/10.1007/BF01673826
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01673826