### 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

#### 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.

#### Presentation

#### Video

**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.

## Comments

Start the discussion!