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
ILLC Preprints and Publications is powered by EPrints 3.4 which is developed by the School of Electronics and Computer Science at the University of Southampton. About EPrints | Accessibility