%0 Journal Article
%T Sequence encoding without induction
%A Emil Je£¿¨¢bek
%J Mathematics
%D 2012
%I arXiv
%R 10.1002/malq.201200013
%X We show that the universally axiomatized, induction-free theory PA^- is a sequential theory in the sense of Pudl\'ak [5], in contrast to the closely related Robinson's arithmetic.
%U http://arxiv.org/abs/1201.5835v1