Barrett, Thomas William and Halvorson, Hans (2022) Mutual Translatability, Equivalence, and the Structure of Theories. [Preprint]

Preview

Text counterexample.pdf Download (1MB) | Preview

Abstract

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 re- sults 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.

---

Export/Citation:

EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL

Social Networking:

Share |

---

Item Type:	Preprint
Creators:	Creators Email ORCID Barrett, Thomas William thomaswbarrett@ucsb.edu Halvorson, Hans hhalvors@princeton.edu 0000-0003-3022-2344
Subjects:	General Issues > Structure of Theories
Depositing User:	Hans Halvorson
Date Deposited:	18 Jan 2022 05:21
Last Modified:	18 Jan 2022 05:21
Item ID:	20116
Subjects:	General Issues > Structure of Theories
Date:	January 2022
URI:	https://philsci-archive.pitt.edu/id/eprint/20116

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Actions (login required)

View Item