This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
E.A. Cichon and S.S. Wainer ‘The Slow-Growing and the Grzegorczyk Hierarchies', J. Symb. Logic 48 (1983) 399–408.
J-Y. Girard, ‘π 12 -Logic Part I', Annals. Math. Logic 21 (1981) 75–219.
H.R. Jervell, ‘Introducing Homogeneous Trees', Proc. Herbrand Symposium, Ed. J. Stern, North-Holland (1982).
M.H. Löb and S.S. Wainer, ‘Hierarchies of Number-Theoretic Functions I, II', Archiv. für math. Logik 13 (1970) 39–51, and 97–113.
D. Schmidt, ‘Built-Up Systems of Fundamental Sequences and Hierarchies of Number-Theoretic Functions', Archiv. für math. Logic 18 (1976) 47–53. Postcript 145–146.
H. Schwichtenberg, ‘Eine Klassifikation der ε0-rekursiven Funktionen', Zeitschrift für math. Logik 17 (1971) 61–74.
S.S. Wainer, ‘A Classification of the Ordinal Recursive Functions’ Archiv. für math. Logik 13 (1970) 136–153.
S.S. Wainer, ‘The "Slow-Growing" π 12 Approach to Hierarchies', to appear in Proc. AMS Summer Research Inst. on Recursion Theory, 1982, Eds. A. Nerode and R.A. Shore.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1984 Springer-Verlag
About this paper
Cite this paper
Dennis-Jones, E.C., Wainer, S.S. (1984). Subrecursive hierarchies via direct limits. In: Börger, E., Oberschelp, W., Richter, M.M., Schinzel, B., Thomas, W. (eds) Computation and Proof Theory. Lecture Notes in Mathematics, vol 1104. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0099482
Download citation
DOI: https://doi.org/10.1007/BFb0099482
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-13901-0
Online ISBN: 978-3-540-39119-7
eBook Packages: Springer Book Archive