Complexity classes between Grzegorczyk's E2 and E3 are characterized in terms of provable recursion in a theory EA(I;O) formalising basic principles of Nelson's Predicative Arithmetic. Extensions by inductive definitions enable full arithmetic PA and higher systems to be recaptured in a setting where the natural bounding functions are "slow" rather than "fast" growing. © Springer-Verlag Berlin Heidelberg 2005.
CITATION STYLE
Ostrin, G. E., & Wainer, S. S. (2005). Complexity in predicative arithmetic. In Lecture Notes in Computer Science (Vol. 3526, pp. 378–384). Springer Verlag. https://doi.org/10.1007/11494645_47
Mendeley helps you to discover research relevant for your work.