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

LAA

Seminar

$T^1_2, T^2_2$ and search problems

Thapen, N (Academy of Sciences, Prague)
Monday 10 April 2006, 14:00-15:00

Seminar Room 1, Newton Institute

Abstract

We give some new, natural principles characterizing the \Sigma^b_1 consequences of these theories, based on a reflection principle for resolution.

Audio

MP3MP3 Real AudioReal Audio

Back to top ∧