Sequence encoding without induction

Details Sequence encoding without induction Sequence encoding without induction

2012-01-27

arxiv.org/abs/1201.5835v1

Mathematics

Logic

7 pages

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Sequence encoding without induction does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Sequence encoding without induction, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Sequence encoding without induction will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-345328