Literature Cited
Yu. L. Ershov, Theory of Enumerations [in Russian], Vol. 1, Novosibirsk State Univ. (1969, 1974).
Yu. L. Ershov, Theory of Enumerations [in Russian], Vol. 2, Novosibirsk State Univ. (1973).
Yu. L. Ershov, “Maximal and everywhere defined functionals,” Algebra Logika,13, No. 4, 374–397 (1974).
H. Rogers, Jr., Theory of Recursive Functions and Effective Computability, McGraw-Hill, New York (1967).
G. Kreisel, “Interpretation of analysis by means of constructive functionals of finite types,” in: Constructivity in Mathematics, A. Heyting (editor), Proceedings of the Colloquium held at Amsterdam, 1957, North-Holland, Amsterdam (1959), pp. 101–128.
Additional information
Translated from Algebra i Logika, Vol. 15, No. 6, pp. 642–654, November–December, 1976.
Rights and permissions
About this article
Cite this article
Ershov, Y.L. Hereditarily effective operations. Algebra and Logic 15, 400–409 (1976). https://doi.org/10.1007/BF01877480
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01877480