References
Ackermann, W.: Zur Widerspruchsfreiheit der reinen Zahlentheorie. Math. Ann.117, 162–194 (1940).
Gentzen, G.: Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie. Math. Ann.119, 140–161 (1943/1944).
Hilbert, D., andP. Bernays: Grundlagen der Mathematik, vol. II. Berlin 1939.
Kleene, S. C.: Introduction to Metamathematics. New York 1952.
Kreisel, G.: On the interpretation of non-finitist proofs II. J. Symbolic Logic17, 43–58 (1952).
Kreisel, G.: Ordinal logics and the characterization of informal concepts of proof. Proc. Intern. Congress of Mathematicians (1958).
Myhill, J.: A Stumblingblock in Constructive Mathematics (Abstract), J. Symbolic Logic18, 190 (1953).
Péter, R.: Über den Zusammenhang der verschiedenen Begriffe der rekursiven Funktion. Math. Ann.119, 612–632 (1934).
Péter, R.: Rekursive Funktionen (2nd edition). Budapest 1957.
Routledge, N. A.: Ordinal recursion. Proc. Cambridge Philos. Soc.,49, 175–182 (1953).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Tait, W.W. Nested recursion. Math. Ann. 143, 236–250 (1961). https://doi.org/10.1007/BF01342980
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01342980