PhilSci Archive

Mutual Translatability, Equivalence, and the Structure of Theories

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

[img]
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:
CreatorsEmailORCID
Barrett, Thomas Williamthomaswbarrett@ucsb.edu
Halvorson, Hanshhalvors@princeton.edu0000-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-dev.library.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 View Item