[FOM] Interpretations

Marc Alcobé malcobe at gmail.com
Thu Dec 16 03:13:30 EST 2010


I am not sure what kind of literature is being asked for, if
specifically about mutual interpretability of ZF + foundation and ZF +
antifoundation, or generally about mutual interpretability between
theories. A good point to start for the latter could be Lindström's
"Aspects of incompleteness" (Chapters 6 and 7).



More information about the FOM mailing list