Notes on polynomially bounded arithmetic
Domenico Zambella

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.