New Computational Paradigms pp 213-222 | Cite as

# The Computational Power of Bounded Arithmetic from the Predicative Viewpoint

This paper considers theories of bounded arithmetic that are predicative in the sense of Nelson, that is, theories that are interpretable in Robinson’s Q.We give a nearly exact characterization of functions that can be total in predicative bounded theories. As an upper bound, any such function has a polynomial growth rate and its bit-graph is in nondeterministic exponential time and in co-nondeterministic exponential time. In fact, any function uniquely defined in a bounded theory of arithmetic lies in this class. Conversely, any function that is in this class (provably in IΔ0+exp) can be uniquely defined and total in a (predicative) bounded theory of arithmetic.

## Keywords

Function Symbol Bounded Theory Exponential Time Exact Characterization Polynomial Time Computable Function## Preview

Unable to display preview. Download preview PDF.

## References

- 1.T. ARAI, Frege system, ALOGTIME, and bounded arithmetic. Manuscript, 1992.Google Scholar
- 2.S . R . BUSS, Bounded Arithmetic, Bibliopolis, 1986. Revision of 1985 Princeton University Ph.D. thesis.Google Scholar
- 3.—, Nelson’s Work on Logic and Foundations and Other Reflections on Foundations of Mathematics, Princeton University Press, 2006, pp. 183-208. edited by W. Faris.Google Scholar
- 4.S . R . BUSS AND J . KRAJÍCˇ EK, An application of Boolean complexity to separation prob-lems in bounded arithmetic, Proc. London Math. Society, 69 (1994), pp. 1-21.Google Scholar
- 5.P. CLOTE AND G . TAKEUTI, Bounded arithmetics for NC, ALOGTIME, L and NL, Annals of Pure and Applied Logic, 56 (1992), pp. 73-117.MATHCrossRefMathSciNetGoogle Scholar
- 6.S . COOK AND P. NGUYEN, Foundations of Proof Complexity: Bounded Arithmetic and Propositional Translations. Book in preparation. Draft manuscipt available on web.Google Scholar
- 7.R . J . LIPTON, Model theoretic aspects of computational complexity, in Proceedings of the 19th Annual Symposium on Foundations of Computer Science, IEEE Computer Society, 1978, pp. 193-200.Google Scholar
- 8.R . J . PARIKH, Existence and feasibility in arithmetic, The Journal of Symbolic Logic, 36 (1971), pp. 494-508.MATHCrossRefMathSciNetGoogle Scholar
- 9.J . B . PARIS AND C . DIMITRACOPOULOS, A note on the undefinability of cuts, Journal of Symbolic Logic, 48 (1983), pp. 564-569.MATHCrossRefMathSciNetGoogle Scholar
- 10.P. PUDLÁK, Cuts, consistency statements and interpretation, The Journal of Symbolic Logic, 50 (1985), pp. 423-441.CrossRefMathSciNetGoogle Scholar
- 11.R . M . SOLOVAY, Letter to P. Hájek, August 1976.Google Scholar
- 12.A . J . WILKIE, On sentences interpretable in systems of arithmetic, in Logic Colloquium ’84, North-Holland, 1986, pp. 329-342, edited by J. B. Paris, A. J. Wilkie and G. M. Wilmers.Google Scholar
- 13.A . J . WILKIE AND J . B . PARIS, On the scheme of induction for bounded arithmetic formulas, Annals of Pure and Applied Logic, 35 (1987), pp. 261-302.MATHCrossRefMathSciNetGoogle Scholar