Navigation: Home > LAA > Seminars > Thapen, N
Thapen, N (Academy of Sciences, Prague)
Monday 10 April 2006, 14:00-15:00
Seminar Room 1, Newton Institute
We give some new, natural principles characterizing the \Sigma^b_1 consequences of these theories, based on a reflection principle for resolution.
Back to top ∧
© Isaac Newton Institute
Updated at 06:37 PM on 29 August 2013