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)
ML-1994-01.text.ps.gz

Download (103kB)
[thumbnail of Abstract] Text (Abstract)
ML-1994-01.abstract.txt

Download (286B)

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.

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
URI: https://eprints.illc.uva.nl/id/eprint/1347

Actions (login required)

View Item View Item