References
Feferman, S.: Systems of predicative analysis, II: Representations of ordinals. J. Symbolic Logic33, 193–220 (1968).
Löb, M. H., Wainer, S. S.: Hierarchies of number-theoretic functions. Arch. math. Logik13, 39–51, 97–113 (1970).
Robbin, J. W.: Ph. D. Dissertation. Princeton University (1965).
Rose, H. E.:E α-arithmetic and transfinite induction. J. Symbolic Logic37, 19–30 (1972).
Schwichtenberg, H.: Eine Klassifikation der ε0-rekursiven Funktionen. Zeitschr. math. Logik17, 61–74 (1971).
Rights and permissions
About this article
Cite this article
Schmidt, D. Built-up systems of fundamental sequences and hierarchies of number-theoretic functions. Arch math Logik 18, 47–53 (1977). https://doi.org/10.1007/BF02007256
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02007256