[FOM] re: synonymity

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


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





More information about the FOM mailing list