Mutual translatability, equivalence, and the structure of theories
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
Dokumenter
- Fulltext
Accepteret manuskript, 1,14 MB, PDF-dokument
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.
Originalsprog | Engelsk |
---|---|
Artikelnummer | 240 |
Tidsskrift | Synthese |
Vol/bind | 200 |
Udgave nummer | 3 |
Antal sider | 36 |
ISSN | 0039-7857 |
DOI | |
Status | Udgivet - 2022 |
Eksternt udgivet | Ja |
Bibliografisk note
Funding Information:
Thanks to Laurenz Hudetz and a small collection of anonymous referees for helpful comments.
Publisher Copyright:
© 2022, The Author(s), under exclusive licence to Springer Nature B.V.
ID: 336464684