Title of article
What are the ∀∑1b-consequences of T21 and T22? Original Research Article
Author/Authors
Fernando Ferreira، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1995
Pages
10
From page
79
To page
88
Abstract
We formulate schemes (M1) and (M2) of the “typical” ∀∑1b-sentences that are provable in T21, respectively T22. As an application, we reprove a recent result of Buss and Krajíček (1994) which describes witnesses for the ∀∑1b-sentences provable in T21 in terms of solutions to PLS-problems.
Journal title
Annals of Pure and Applied Logic
Serial Year
1995
Journal title
Annals of Pure and Applied Logic
Record number
890019
Link To Document