SAS

Abstract

I will present a second order extension of well-known first order theories of bounded arithmetic. The purpose of this work is to find a new proof-theoretic characterisation of the polynomial-space computable functions in terms of bounded arithmetic. This is a joint work with Toshiyasu Arai (Chiba University, Japan) in progress.