A Uniform Approach to Fundamental Sequences and Hierarchies

This publication has 11 references indexed in Scilit:

• Proof-theoretic analysis of KPM
  Archive for Mathematical Logic, 1991
• Some extensions of built-upness on systems of fundamental sequences
  Mathematical Logic Quarterly, 1990
• An independence result for (II11-CA)+BI
  Annals of Pure and Applied Logic, 1987
• The Consistency Strengths of Some Finite Forms of the Higman and Kruskal Theorems
  Published by Elsevier ,1985
• A short proof of two recently discovered independence results using recursion theoretic methods
  Proceedings of the American Mathematical Society, 1983
• Built-up systems of fundamental sequences and hierarchies of number-theoretic functions
  Archive for Mathematical Logic, 1977
• P.R.-regulated systems of notation and the subrecursive hierarchy equivalence property
  Transactions of the American Mathematical Society, 1977
• Eine Klassifikation der ε₀‐Rekursiven Funktionen
  Mathematical Logic Quarterly, 1971
• A classification of the ordinal recursive functions
  Archive for Mathematical Logic, 1970
• On the interpretation of non-finitist proofs–Part II
  The Journal of Symbolic Logic, 1952