Mutual translatability, equivalence, and the structure of theories

Research output: Contribution to journalJournal articleResearchpeer-review

Documents

  • Fulltext

    Accepted author manuscript, 1.14 MB, PDF document

This paper presents a simple pair of first-order theories that are not definitionally (nor Morita) equivalent, yet are mutually conservatively translatable and mutually ‘surjectively’ translatable. We use these results to clarify the overall geography of standards of equivalence and to show that the structural commitments that theories make behave in a more subtle manner than has been recognized.

Original languageEnglish
Article number240
JournalSynthese
Volume200
Issue number3
Number of pages36
ISSN0039-7857
DOIs
Publication statusPublished - 2022
Externally publishedYes

Bibliographical note

Publisher Copyright:
© 2022, The Author(s), under exclusive licence to Springer Nature B.V.

    Research areas

  • Cantor–Bernstein, co-Cantor–Bernstein, Equivalence, Structure, Translation

ID: 336464684