Mutual definability does not imply definitional equivalence, a simple example

, &
Mathematical Logic Quarterly 51 (6):591-597 (2005)
  Copy   BIBTEX

Abstract

We give two theories, Th1 and Th2, which are explicitly definable over each other , but are not definitionally equivalent. The languages of the two theories are disjoint.

Categories

Keywords

Reprint years

DOI

10.1002/malq.200410051

Links

PhilArchive



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

External links

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

Through your library

My notes

Similar books and articles

Definability and definable groups in simple theories.Anand Pillay - 1998 - Journal of Symbolic Logic 63 (3):788-796.
Axiomatizing relativistic dynamics without conservation postulates.Hajnal Andréka, Judit Madarász X., István Németi & Gergely Székely - 2008 - Studia Logica 89 (2):163 - 186.
Definability and a nonlinear sigma model.David Jacob BenDaniel - unknown
Generalized equivalence: A pattern of mathematical expression.T. A. McKee - 1985 - Studia Logica 44 (3):285 - 289.
Interpolation and definability in abstract logics.Finn V. Jensen - 1974 - Synthese 27 (1-2):251 - 257.
Definability in number fields.S. P. Tung - 1987 - Journal of Symbolic Logic 52 (1):152-155.
On definability of the equality in classes of algebras with an equivalence relation.Pilar Dellunde I. Clavé - 2000 - Studia Logica 64 (3):345-353.
Alfreda Tarskiego schemat T jako równość definicyjna.Robert Kublikowski - 2005 - Roczniki Filozoficzne 53 (1):143-154.
Some applications of coarse inner model theory.Greg Hjorth - 1997 - Journal of Symbolic Logic 62 (2):337-365.
A direct proof of the equivalence of free categorial grammars and simple phrase structure grammars.Wojciech Zielonka - 1978 - Studia Logica 37 (1):41 - 57.
Definability in low simple theories.Ziv Shami - 2000 - Journal of Symbolic Logic 65 (4):1481-1490.
A logic road from special relativity to general relativity.Hajnal Andréka, Judit X. Madarász, István Németi & Gergely Székely - 2012 - Synthese 186 (3):633 - 649.

Analytics

Added to PP
2013-10-31

Downloads
50 (#317,467)

6 months
5 (#632,816)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

How to count structure.Thomas William Barrett - 2022 - Noûs 56 (2):295-322.
Glymour and Quine on Theoretical Equivalence.Thomas William Barrett & Hans Halvorson - 2016 - Journal of Philosophical Logic 45 (5):467-483.
Equivalent and Inequivalent Formulations of Classical Mechanics.Thomas William Barrett - 2019 - British Journal for the Philosophy of Science 70 (4):1167-1199.
Morita Equivalence.Thomas William Barrett & Hans Halvorson - 2016 - Review of Symbolic Logic 9 (3):556-582.

View all 22 citations / Add more citations

References found in this work

Add more references