[FOM] Interpretations

[Thomas Forster]

...between theories...

     I have a student writing an essay on the Forti-Honsell Antifoundation
Axiom (as in Aczel's delightful book).  I have been telling him that he 
might like to think about the mutual interpretability of ZF + foundation
and ZF + antifoundation.  Interpretations coming in varying degrees of 
niceness and i am wondering what would be some good literature to start 
him off on.   I think immediately of Friedmann and Visser but there is
surely other literature out there that my man could read with profit.

  All tips gratefully received

         tf



URL:  www.dpmms.cam.ac.uk/~tf; DPMMS ph: +44-1223-337981;
mobile +44-7887-701-562.