Abstract

We characterize the collapse of Buss' bounded arithmetic in terms of the provable collapse of the polynomial time hierarchy. We include also some general model-theoretical investigations on fragments of bounded arithmetic. Contents 0 Introduction and motivation. 1 1 Preliminaries. 3 1.1 The polynomially bounded hierarchy. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 4 1.2 The axioms of second-order bounded arithmetic. : : : : : : : : : : : : : : : : : : : : : : : : : : : 5 1.3 Rudimentary functions. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 5 1.4 Other fragments. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 6 1.5 Polynomial time computable functions. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 7 1.6 Relations among fragments. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 8 1.7 Relations with Buss' bounded arithmetic. : : : :...

Citations

129	The intrinsic computational difficulty of functions - Cobham - 1964
109	The complexity of the pigeonhole principle - Ajtai - 1988
106	Bounded Arithmetic. Bibliopolis - Buss - 1986
90	Metamathematics of first-order arithmetic - Hájek, Pudlák - 1993
88	Sigma 1 formulae on finite structures - Ajtai
65	The polynomial time hierarchy collapses if the boolean hierarchy collapses - Kadin - 1988
36	On a number-theoretic choice schema and its relation to induction - Parsons - 1970
27	Relating the bounded arithmetic and the polynomial time hierarchies - Buss - 1995
27	RSUV isomorphism - Takeuti - 1993
26	An equivalence between second order bounded domain bounded arithmetic and first order bounded arithmetic - Razborov - 1993
25	Axiomatizations and conservation results for fragments of bounded arithmetic - Buss - 1990
7	Exponentiation and second order bounded arithmetic - Krajíček - 1990
6	Quantifier-free and one-quantifier systems - Mints - 1973
4	A.J.: “Modèles nonstandard de l’arithmétique et complexité algorithmique - Wilkie - 1987
3	1978], \Sigma n -collection schemas in arithmetic - Paris, Kirby
3	Bounded arithmetic and the polynomial time hierarchy - Krajicek, Pudl'ak, et al. - 1991