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(More)
  • 1