On Generalization of Definitional Equivalence to Non-Disjoint Languages

Koen Lefever, Gergely Székely

Research output: Contribution to journalArticle

3 Citations (Scopus)


For simplicity, most of the literature introduces the concept of definitional equivalence only for disjoint languages. In a recent paper, Barrett
and Halvorson introduce a straightforward generalization to non-disjoint
languages and they show that their generalization is not equivalent to in-
tertranslatability in general. In this paper, we show that their generalization
is not transitive and hence it is not an equivalence relation. Then we intro-
duce another formalization of definitional equivalence due to Andréka and
Németi which is equivalent to the Barrett–Halvorson generalization in the
case of disjoint languages. We show that the Andréka–Németi generaliza-
tion is the smallest equivalence relation containing the Barrett–Halvorson
generalization and it is equivalent to intertranslatability, which is another
definition for definitional equivalence, even for non-disjoint languages. Finally, we investigate which definitions for definitional equivalences remain
equivalent when we generalize them for theories in non-disjoint languages.
Original languageEnglish
Pages (from-to)709-729
Number of pages21
JournalJournal of Philosophical Logic
Issue number4
Early online date24 Oct 2018
Publication statusPublished - 15 Aug 2019


  • Definability theory
  • Definitional equivalence
  • First-order logic
  • Logical interpretation
  • Logical translation


Dive into the research topics of 'On Generalization of Definitional Equivalence to Non-Disjoint Languages'. Together they form a unique fingerprint.

Cite this