1521-3870/asset/2256_left.gif?v=1&s=becebab9c3e85769a14b145f17b8e337848bc48b)
1521-3870/asset/2256_right.gif?v=1&s=6d251fa351b8e0943ed3dc42b2beb251d4cbfa3e)
Original Paper
Mutual definability does not imply definitional equivalence, a simple example
Article first published online: 28 SEP 2005
DOI: 10.1002/malq.200410051
Copyright © 2005 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim
1521-3870/asset/cover.gif?v=1&s=3df32dbed8d9153ac6eafe1eaa786854b9b48345 "Mathematical Logic Quarterly")
Additional Information
How to Cite
Andréka, H., Madarász, J. X. and Németi, I. (2005), Mutual definability does not imply definitional equivalence, a simple example. Mathematical Logic Quarterly, 51: 591–597. doi: 10.1002/malq.200410051
Publication History
- Issue published online: 28 SEP 2005
- Article first published online: 28 SEP 2005
- Manuscript Accepted: 21 JUL 2005
- Manuscript Revised: 25 MAY 2005
- Manuscript Received: 5 DEC 2004
- Abstract
- References
- Cited By
Keywords:
- Model theory, definability theory
Abstract
We give two theories, Th1 and Th2, which are explicitly definable over each other (i.e. the relation symbols of one theory are explicitly definable in the other, and vice versa), but are not definitionally equivalent. The languages of the two theories are disjoint. (© 2005 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)