Eine Klassifikation der ε0‐Rekursiven Funktionen
- 1 January 1971
- journal article
- Published by Wiley in Mathematical Logic Quarterly
- Vol. 17 (1) , 61-74
- https://doi.org/10.1002/malq.19710170113
Abstract
No abstract availableThis publication has 10 references indexed in Scilit:
- Rekursionszahlen und die Grzegorczyk-HierarchieArchive for Mathematical Logic, 1969
- Klassen rekursiver funktionenPublished by Springer Nature ,1968
- Classifications of Recursive Functions by Means of HierarchiesTransactions of the American Mathematical Society, 1962
- Classifications of recursive functions by means of hierarchiesTransactions of the American Mathematical Society, 1962
- Theory of Formal Systems. (AM-47)Published by Walter de Gruyter GmbH ,1961
- A Theorem on General Recursive FunctionsProceedings of the American Mathematical Society, 1960
- A theorem on general recursive functionsProceedings of the American Mathematical Society, 1960
- Extension of an effectively generated class of functions by enumerationColloquium Mathematicum, 1958
- Ordinal recursionMathematical Proceedings of the Cambridge Philosophical Society, 1953
- On the interpretation of non-finitist proofs–Part IIThe Journal of Symbolic Logic, 1952