[FOM] A first-order theory of relations

T.Forster@dpmms.cam.ac.uk T.Forster at dpmms.cam.ac.uk
Sun Apr 27 12:28:01 EDT 2008

At the last cameleon meeting here in cambridge:


a friend of mine gave a talk about a first order theory with equality and a 
single ternary relation whose intended meaning is ``$x$ relates $y$ to 
$z$''. This encompasses set theory and graph theory and untyped lambda 
calculus. It's rather cute. So cute in fact that somebody must have thought 
of this before. Can anyone point me at some literature on this subject..?


More information about the FOM mailing list