Article PDF
Avoid common mistakes on your manuscript.
Literature cited
S. Kripke, “Transfinite recursions on admissible ordinals, I,” J. Symbolic Logic,29, No. 3, 161 (1964).
S. K. Kleene, Introduction to Metamathematics, Van Nostrand, Princeton (1952).
H. Rogers, Jr., Theory of Recursive Functions and Effective Computability, McGraw-Hill, New York (1965).
Additional information
Translated from Algebra i Logika, Vol. 9, No. 4, pp. 375–405, July–August, 1970.
Rights and permissions
About this article
Cite this article
Belyakin, N.V. Generalized computations and second degree arithmetic. Algebr Logic 9, 225–243 (1970). https://doi.org/10.1007/BF02219441
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02219441