Mutual translatability, equivalence, and the structure of theories
Research output: Contribution to journal › Journal article › Research › peer-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 language | English |
---|---|
Article number | 240 |
Journal | Synthese |
Volume | 200 |
Issue number | 3 |
Number of pages | 36 |
ISSN | 0039-7857 |
DOIs | |
Publication status | Published - 2022 |
Externally published | Yes |
Bibliographical note
Publisher Copyright:
© 2022, The Author(s), under exclusive licence to Springer Nature B.V.
- Cantor–Bernstein, co-Cantor–Bernstein, Equivalence, Structure, Translation
Research areas
ID: 336464684