Mutual definability does not imply definitional equivalence, a simple example

DOI10.1002/malq.200410051zbMath1079.03020OpenAlexW2164993274MaRDI QIDQ5704809

Judit X. Madarász, Istvan Németi, Hajnalka Andréka

Publication date: 15 November 2005

Published in: MLQ (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.200410051

zbMATH Keywords

model theorydefinability theory

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40)

Related Items (13)

Glymour and Quine on theoretical equivalence ⋮ Theoretical equivalence in classical mechanics and its relationship to duality ⋮ Bases for structures and theories. I. ⋮ DISTANCES BETWEEN FORMAL THEORIES ⋮ Are Newtonian gravitation and geometrized Newtonian gravitation theoretically equivalent? ⋮ From geometry to conceptual relativity ⋮ Quine's conjecture on many-sorted logic ⋮ Bases for structures and theories II. ⋮ MORITA EQUIVALENCE ⋮ Strong paraconsistency and the basic constructive logic for an even weaker sense of consistency ⋮ Negation introduced with the unary connective ⋮ On generalization of definitional equivalence to non-disjoint languages ⋮ Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics

Cites Work

• Duality and definability in first order logic

This page was built for publication: Mutual definability does not imply definitional equivalence, a simple example