The INI has a new website!

This is a legacy webpage. Please visit the new site to ensure you are seeing up to date information.

Skip to content



Towards a New Theory of Bounded Arithmetic for PSPACE computations

Eguchi, N (Tohoku University)
Wednesday 28 March 2012, 11:00-11:30

Seminar Room 1, Newton Institute


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.


[pdf ]


The video for this talk should appear here if JavaScript is enabled.
If it doesn't, something may have gone wrong with our embedded player.
We'll get it fixed as soon as possible.

Back to top ∧