On generalization of definitional equivalence to non-disjoint languages

DOI10.1007/s10992-018-9491-0zbMath1457.03024arXiv1802.06844OpenAlexW2898288818WikidataQ129050765 ScholiaQ129050765MaRDI QIDQ2323696

Gergely Székely, Koen Lefever

Publication date: 3 September 2019

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1802.06844

zbMATH Keywords

first-order logicdefinitional equivalencelogical interpretationlogical translationdefinability theory

Mathematics Subject Classification ID

Classical first-order logic (03B10) Interpolation, preservation, definability (03C40) Relative consistency and interpretations (03F25)

Related Items (4)

Set theory with a proper class of indiscernibles ⋮ DISTANCES BETWEEN FORMAL THEORIES ⋮ Why Not Categorical Equivalence? ⋮ Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Cylindric algebras. Part II
• Glymour and Quine on theoretical equivalence
• Undecidable theories
• Relative Truth Definability of Axiomatic Truth Theories
• Properties Preserved under Definitional Equivalence and Interpretations
• Categoricity
• DISTANCES BETWEEN FORMAL THEORIES
• Comparing Classical and Relativistic Kinematics in First-Order Logic
• Mutual definability does not imply definitional equivalence, a simple example
• MORITA EQUIVALENCE
• Concatenation as a basis for arithmetic

This page was built for publication: On generalization of definitional equivalence to non-disjoint languages