Classifications of Recursive Functions by Means of Hierarchies
Open Access
- 1 July 1962
- journal article
- Published by JSTOR in Transactions of the American Mathematical Society
- Vol. 104 (1) , 101-122
- https://doi.org/10.2307/1993935
Abstract
References [Enhancements On Off] (What's this?)Keywords
This publication has 9 references indexed in Scilit:
- Incompleteness along paths in progressions of theoriesThe Journal of Symbolic Logic, 1962
- Transfinite recursive progressions of axiomatic theoriesThe Journal of Symbolic Logic, 1962
- Nested recursionMathematische Annalen, 1961
- On a Subrecursive Hierarchy and Primitive Recursive DegreesTransactions of the American Mathematical Society, 1959
- Extension of an effectively generated class of functions by enumerationColloquium Mathematicum, 1958
- Arithmetical Predicates and Function QuantifiersTransactions of the American Mathematical Society, 1955
- Recursive well-orderingsThe Journal of Symbolic Logic, 1955
- Hierarchies of number-theoretic predicatesBulletin of the American Mathematical Society, 1955
- Ordinal recursionMathematical Proceedings of the Cambridge Philosophical Society, 1953