Expertini Research Research
  • Expertini Research profile
    • Mathematics PDF Available DOI: 10.1002/malq.201200013 Non-peer-reviewed Preprint

    Sequence encoding without induction

    Emil Jerabek  ·  Published 2012-01-27
    📄 Download PDF 🔖 Bookmark Paper

    Abstract

    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.

    Keywords

    📄 Full Paper Available as PDF
    This paper is available as a downloadable PDF.
    📄 Download PDF

    ✨ AI Plain-English Summary

    Get a plain-English summary of this paper generated by AI (5 free per day).

    Comments (0)

    No comments yet. Be the first to comment.

    Related Papers

    Mathematics PDF

    Local duality in Loewner equations

    2012