Abstract

The notion of a “ptyx” is formalised in second-order arithmetic, and, using proof-theoretic techniques based on sequent-calculus, bounds are obtained for the ptykes of type 1 and 2 which can be proved to be ptykes using arithmetic comprehension.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call