http://www.cs.nyu.edu/pipermail/fom/2003-February/006244.html There is a nice example of two mutually interpretable theories that are not definitionally equivalent [synonymous]in my JSL ABSTRACT Definitional Equivalence: Mutual Interpretability, Journal of Symbolic Logic 46 (1981) 430, AVAILABLE ONLINE at JSTOR John Corcoran