Mutual definability does not imply definitional equivalence, a simple example
From MaRDI portal
Publication:5704809
DOI10.1002/malq.200410051zbMath1079.03020MaRDI QIDQ5704809
Istvan Németi, Judit X. Madarász, 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
03C40: Interpolation, preservation, definability
Related Items
MORITA EQUIVALENCE, Strong paraconsistency and the basic constructive logic for an even weaker sense of consistency, Are Newtonian gravitation and geometrized Newtonian gravitation theoretically equivalent?, From geometry to conceptual relativity, Quine's conjecture on many-sorted logic, Glymour and Quine on theoretical equivalence, Theoretical equivalence in classical mechanics and its relationship to duality, Negation introduced with the unary connective
Cites Work