On Morita equivalence and interpretability

Review of Symbolic Logic:1-27 (forthcoming)
  Copy   BIBTEX

Abstract

In a recent paper, Barrett & Halvorson (2016) define a notion of equiva- lence for first-order theories, which they call “Morita Equivalence.” To argue that Morita equivalence is a reasonable measure of “theoretical equivalence,” they make use of the claim that Morita extensions “say no more” than the theories they are extending. The goal of this paper is to challenge this central claim by raising objections to their argument for it and by showing why there is good reason to think that the claim itself is false. In light of these criticisms, this paper develops a natural way for the advocate of Morita equivalence to respond. However, this response makes her criterion equivalent to mutual faithful interpretability, an already well-known and philosophically contentious barometer of theoretical equivalence.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Morita Equivalence.Thomas William Barrett & Hans Halvorson - 2016 - Review of Symbolic Logic 9 (3):556-582.
Categorical Quasivarieties via Morita Equivalence.Keith A. Kearnes - 2000 - Journal of Symbolic Logic 65 (2):839-856.
A syntactic characterization of Morita equivalence.Dimitris Tsementzis - 2017 - Journal of Symbolic Logic 82 (4):1181-1198.
Interpretability over peano arithmetic.Claes Strannegård - 1999 - Journal of Symbolic Logic 64 (4):1407-1425.
Interpretability over peano arithmetic.Claes Strannegård - 1999 - Journal of Symbolic Logic 64 (4):1407-1425.
Interpretability over peano arithmetic.Claes Strannegård - 1999 - Journal of Symbolic Logic 64 (4):1407-1425.
The formalization of interpretability.Albert Visser - 1991 - Studia Logica 50 (1):81 - 105.
Effectively inseparable Boolean algebras in lattices of sentences.V. Yu Shavrukov - 2010 - Archive for Mathematical Logic 49 (1):69-89.
Multi‐term π‐institutions and their equivalence.José Gil-Férez - 2006 - Mathematical Logic Quarterly 52 (5):505-526.

Analytics

Added to PP
2018-12-27

Downloads
66 (#237,149)

6 months
10 (#219,185)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Paul Tran-Hoang
Vassar College

References found in this work

No references found.

Add more references