Mutual translatability, equivalence, and the structure of theories

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

Standard

Mutual translatability, equivalence, and the structure of theories. / Barrett, Thomas William; Halvorson, Hans.

I: Synthese, Bind 200, Nr. 3, 240, 2022.

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

Harvard

Barrett, TW & Halvorson, H 2022, 'Mutual translatability, equivalence, and the structure of theories', Synthese, bind 200, nr. 3, 240. https://doi.org/10.1007/s11229-022-03733-8

APA

Barrett, T. W., & Halvorson, H. (2022). Mutual translatability, equivalence, and the structure of theories. Synthese, 200(3), [240]. https://doi.org/10.1007/s11229-022-03733-8

Vancouver

Barrett TW, Halvorson H. Mutual translatability, equivalence, and the structure of theories. Synthese. 2022;200(3). 240. https://doi.org/10.1007/s11229-022-03733-8

Author

Barrett, Thomas William ; Halvorson, Hans. / Mutual translatability, equivalence, and the structure of theories. I: Synthese. 2022 ; Bind 200, Nr. 3.

Bibtex

@article{147c32d4fc3e4105990d28f8d7b9d814,
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, co-Cantor–Bernstein, Equivalence, Structure, Translation",
author = "Barrett, {Thomas William} and Hans Halvorson",
note = "Publisher Copyright: {\textcopyright} 2022, The Author(s), under exclusive licence to Springer Nature B.V.",
year = "2022",
doi = "10.1007/s11229-022-03733-8",
language = "English",
volume = "200",
journal = "Synthese",
issn = "0039-7857",
publisher = "Springer",
number = "3",

}

RIS

TY - JOUR

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

AU - Barrett, Thomas William

AU - Halvorson, Hans

N1 - Publisher Copyright: © 2022, The Author(s), under exclusive licence to Springer Nature B.V.

PY - 2022

Y1 - 2022

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 - co-Cantor–Bernstein

KW - Equivalence

KW - Structure

KW - Translation

U2 - 10.1007/s11229-022-03733-8

DO - 10.1007/s11229-022-03733-8

M3 - Journal article

AN - SCOPUS:85130956512

VL - 200

JO - Synthese

JF - Synthese

SN - 0039-7857

IS - 3

M1 - 240

ER -

ID: 336464684