ML-1994-01: Notes on polynomially bounded arithmetic

ML-1994-01: Zambella, Domenico (1994) Notes on polynomially bounded arithmetic. [Report]

[thumbnail of Full Text] Text (Full Text)

Download (103kB)
[thumbnail of Abstract] Text (Abstract)

Download (286B)


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.

Item Type: Report
Report Nr: ML-1994-01
Series Name: Mathematical Logic and Foundations (ML)
Year: 1994
Date Deposited: 12 Oct 2016 14:40
Last Modified: 12 Oct 2016 14:40

Actions (login required)

View Item View Item