Towards a New Theory of Bounded Arithmetic for PSPACE computations
Seminar Room 1, Newton Institute
AbstractI 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.
If it doesn't, something may have gone wrong with our embedded player.
We'll get it fixed as soon as possible.