Sequence encoding without induction
Emil Jeřábek · Mathematical logic quarterly · 2012
Abstract We show that the universally axiomatized, induction‐free theory\documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}$\mathsf {PA}^-$\end{document} is a sequential theory in the sense of Pudlák's 5 , in contrast to the closely related Robinson's arithmetic.