|
|||||
|
|
Sequence encoding without induction |
|
| Authors: | Emil Jeřábek |
| Institution: | Institute of Mathematics of the Academy of Sciences, ?itná 25, 115 67 Praha 1, Czech Republic |
| Abstract: | We show that the universally axiomatized, induction‐free theory $\mathsf {PA}^-$ is a sequential theory in the sense of Pudlák's 5 , in contrast to the closely related Robinson's arithmetic. |
| Keywords: | Sequential theory weak arithmetic msc (2010) 03F30 |