Sequence encoding without induction
Published in arXiv (Cornell University) • Jan 27, 2012
Authors:
Jeřábek, Emil
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.
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!