Sequence encoding without induction
We show that the universally axiomatized, induction-free theory is a sequential theory in the sense of Pudlk's 5, in contrast to the closely related Robinson's arithmetic.
sequential theory weak arithmetic msc (2010) 03f30