A classification of the ordinal recursive functions
- 1 December 1970
- journal article
- Published by Springer Nature in Archive for Mathematical Logic
- Vol. 13 (3) , 136-153
- https://doi.org/10.1007/bf01973619
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- On provably recursive functions and ordinal recursive functions*Journal of the Mathematical Society of Japan, 1968
- Nested recursionMathematische Annalen, 1961
- ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTESDialectica, 1958
- On the interpretation of non-finitist proofs–Part IIThe Journal of Symbolic Logic, 1952