References
W. Ackermann: Zum Hilbertschen Aufbau der reellen Zahlen. Math. Annalen99 (1928), pp. 118–133.
A. Church and S. C. Kleene: Formal Definitions in the Theory of Ordinal Numbers. Fund. Methematicae28(1936), pp. 11–21.
J. P. Cleave and H. E. Rose: ℰn-Arithmetic. Sets, Models and Recursion Theory, N. Holland (1967), pp. 297–308.
K. Gödel: Consistency-Proof for the Generalized Continuum-Hypothesis. Proc. Nat. Acad. Sci. USA.25 (1939), pp. 220–224.
A. Grzegorczyk: Some Classes of Recursive Functions. Rozprawy Matematyczne No.4, Warsaw (1953).
S. C. Kleene: Introduction to Metamathematics. Van Nostrand (1952).
G. Kreisel: On the Interpretation of Non-Finitist Proofs. J. Symbolic Logic17 (1952), pp. 43–58.
G. H. Müller: Charakterisierung einer Klasse von rekursiven Funktionen. Kolloquium „Grundlagen der Math. .... “ Tihany (1962).
R. Péter: Recursive Functions. Academic Press (1967).
R. Péter: Rekursivität und Konstruktivität, Constructivity in Mathematics, ed. A. Heyting, Amsterdam (1959), pp. 226–233.
R. W. Ritchie: Classes of Recursive Functions based on Ackermann's Function. Pacific Journal of Math.15, (iii) (1965), pp. 1027–1044.
J. W. Robbin: Ph. D. Dissertation, Princeton University (1965).
S. Feferman: Classifications of Recursive Functions by means of Hierarchies. Trans. Amer. Math. Soc.104 (1962), pp. 101–122.
Additional information
Herrn Professor Dr. Kurt Schütte zum 60. Geburtstag gewidmet
Rights and permissions
About this article
Cite this article
Löb, M.H., Wainer, S.S. Hierarchies of number-theoretic functions. I. Arch math Logik 13, 39–51 (1970). https://doi.org/10.1007/BF01967649
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01967649