Mutual definability does not imply definitional equivalence, a simple example
From MaRDI portal
Publication:5704809
DOI10.1002/malq.200410051zbMath1079.03020MaRDI 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
03C40: Interpolation, preservation, definability
Related Items
DISTANCES BETWEEN FORMAL THEORIES, 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, Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics, Bases for structures and theories. I., Bases for structures and theories II., On generalization of definitional equivalence to non-disjoint languages, Glymour and Quine on theoretical equivalence, Theoretical equivalence in classical mechanics and its relationship to duality, Negation introduced with the unary connective
Cites Work