Abstract
We shall show that if the theory S 02 of sharply bounded polynomial induction is extended by symbols for certain functions and their defining axioms, it is still far weaker than T 02 , which has ordinary sharply bounded induction. Furthermore, we show that this extended system S 02+ cannot ∑ b1 -define every function in AC 0, the class of functions computable by polynomial size constant depth circuits.
Preview
Unable to display preview. Download preview PDF.
References
David A. Mix Barrington, Neil Immermann, and Howard Straubing. On uniformity within NC1. Journal of Computing and Systems Sciences, 41:274–306, 1990.
Samuel R. Buss. Bounded Arithmetic. Bibliopolis, Napoli, 1986.
Peter Clote. Sequential, machine independent characterizations of the parallel complexity classes ALogTIME, ACk, NCk and NC. In Samuel R. Buss and Philip J. Scott, editors, Feasible Mathematics, pages 49–69. Birkhäuser, 1990.
Jan Krajíček, Pavel Pudlák, and Gaisi Takeuti. Bounded arithmetic and the polynomial hierarchy. Annals of Pure and Applied Logic, 52:143–153, 1991.
Gaisi Takeuti. Sharply bounded arithmetic and the function a−1. In Logic and Computation, volume 106 of Contemporary Mathematics, pages 281–288. American Mathematical Society, Providence, 1990.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Johannsen, J. (1993). On the weakness of sharply bounded polynomial induction. In: Gottlob, G., Leitsch, A., Mundici, D. (eds) Computational Logic and Proof Theory. KGC 1993. Lecture Notes in Computer Science, vol 713. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0022571
Download citation
DOI: https://doi.org/10.1007/BFb0022571
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57184-1
Online ISBN: 978-3-540-47943-7
eBook Packages: Springer Book Archive