Abstract
In this paper we show that the theories Peano Corto (or: PA↓↓ := I(Σ∞, Σ1,0)) and Peano Basso (or: PA↓ := I(Σ∞, Σ1,1)), two theories of local induction, are locally cut-interpretable in the basic arithmetic PA−. We prove a number of theorems about Peano Corto and Peano Basso. We provide
... read more