Felipe Lara

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
This work falls into two parts. In the first part, we characterize the sets of all Π2 and all B(Σ1) (= boolean combinations of Σ1) theorems of IΠ1 in terms of restricted exponentiation; and use these characterizations to prove that both sets are not deductively equivalent. In the second part, we investigate how these results generalize to IΠ2 . We present a(More)
  • 1