Abstract

In this paper we study local induction w.r.t. Σ1-formulas over the weak arithmetic PA- The local induction scheme, which was introduced in, says roughly this: for any virtual class X that is progressive, i.e., is closed under zero and successor, and for any non-empty virtual class Y that is definable
... read more