Built-up systems of fundamental sequences and hierarchies of number-theoretic functions
- 1 December 1977
- journal article
- Published by Springer Nature in Archive for Mathematical Logic
- Vol. 18 (1) , 47-53
- https://doi.org/10.1007/bf02007256
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- -arithmetic and transfinite inductionThe Journal of Symbolic Logic, 1972
- Eine Klassifikation der ε0‐Rekursiven FunktionenMathematical Logic Quarterly, 1971
- Hierarchies of number-theoretic functions. IArchive for Mathematical Logic, 1970
- Systems of predicative analysis, II: Representations of ordinalsThe Journal of Symbolic Logic, 1968