Mutual translatability, equivalence, and the structure of theories

Thomas William Barrett; Hans Halvorson

doi:10.1007/s11229-022-03733-8

Mutual translatability, equivalence, and the structure of theories

Thomas William Barrett, Hans Halvorson

Philosophy

Research output: Contribution to journal › Article › peer-review

1 Scopus citations

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 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 (US)
Article number	240
Journal	Synthese
Volume	200
Issue number	3
DOIs	https://doi.org/10.1007/s11229-022-03733-8
State	Published - Jun 2022

All Science Journal Classification (ASJC) codes

Philosophy
Social Sciences(all)

Keywords

Cantor–Bernstein
Equivalence
Structure
Translation
co-Cantor–Bernstein

Access to Document

10.1007/s11229-022-03733-8

Cite this

@article{0be894a44f51412b929b7055995d7dab,

title = "Mutual translatability, equivalence, and the structure of theories",

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 {\textquoteleft}surjectively{\textquoteright} 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.",

keywords = "Cantor–Bernstein, Equivalence, Structure, Translation, co-Cantor–Bernstein",

author = "Barrett, {Thomas William} and Hans Halvorson",

note = "Funding Information: Thanks to Laurenz Hudetz and a small collection of anonymous referees for helpful comments. Publisher Copyright: {\textcopyright} 2022, The Author(s), under exclusive licence to Springer Nature B.V.",

year = "2022",

month = jun,

doi = "10.1007/s11229-022-03733-8",

language = "English (US)",

volume = "200",

journal = "Synthese",

issn = "0039-7857",

publisher = "Springer Netherlands",

number = "3",

}

TY - JOUR

T1 - Mutual translatability, equivalence, and the structure of theories

AU - Barrett, Thomas William

AU - Halvorson, Hans

N1 - 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.

PY - 2022/6

Y1 - 2022/6

N2 - 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.

AB - 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.

KW - Cantor–Bernstein

KW - Equivalence

KW - Structure

KW - Translation

KW - co-Cantor–Bernstein

UR - http://www.scopus.com/inward/record.url?scp=85130956512&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85130956512&partnerID=8YFLogxK

U2 - 10.1007/s11229-022-03733-8

DO - 10.1007/s11229-022-03733-8

M3 - Article

AN - SCOPUS:85130956512

SN - 0039-7857

VL - 200

JO - Synthese

JF - Synthese

IS - 3

M1 - 240

ER -

Mutual translatability, equivalence, and the structure of theories

Abstract

All Science Journal Classification (ASJC) codes

Keywords

Access to Document

Other files and links

Fingerprint

Cite this