Abstract
We give some new, natural principles characterizing the \Sigma^b_1 consequences of these theories, based on a reflection principle for resolution.
An Isaac Newton Institute WorkshopNew Directions in Proof ComplexityT^1_2, T^2_2 and search problemsAuthor: N Thapen (Academy of Sciences, Prague) AbstractWe give some new, natural principles characterizing the \Sigma^b_1 consequences of these theories, based on a reflection principle for resolution. |