Author information
Authors and Affiliations
Additional information
Received September 28, 1995
Rights and permissions
About this article
Cite this article
Kohlenbach, U. Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals . Arch Math Logic 36, 31–71 (1996). https://doi.org/10.1007/s001530050055
Issue Date:
DOI: https://doi.org/10.1007/s001530050055