Get access

Sequence encoding without induction

Authors


Abstract

We show that the universally axiomatized, induction-free theory equation image is a sequential theory in the sense of Pudlák's 5, in contrast to the closely related Robinson's arithmetic.

Ancillary