Notes on polynomially bounded arithmetic
Domenico Zambella

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.