Mutual translatability, equivalence, and the structure of theories

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfæ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.

OriginalsprogEngelsk
Artikelnummer240
TidsskriftSynthese
Vol/bind200
Udgave nummer3
Antal sider36
ISSN0039-7857
DOI
StatusUdgivet - 2022
Eksternt udgivetJa

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