[FOM] re: synonymity

John Corcoran corcoran at buffalo.edu
Tue Mar 16 09:59:10 EST 2004

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

More information about the FOM mailing list