Sequence encoding without induction
arXiv:1201.5835 · doi:10.1002/malq.201200013
Abstract
We show that the universally axiomatized, induction-free theory PA^- is a sequential theory in the sense of Pudlák [5], in contrast to the closely related Robinson's arithmetic.
7 pages