FOM: well-founded extensional relations

Thomas Forster T.Forster at dpmms.cam.ac.uk
Wed Jun 14 12:38:28 EDT 2000


Holmes says of the wellfounded extensional relation interpretation:
>I don't think any of this is terribly original.  I know about it because
it is the standard technique for attempting to interpret ZFC in NF and
related theories.

I think one should probably credit Roland Hinnion with this.
Granted, it's not terribly difficult, but it is rather nice
and he was the first person to think of it (wasn't he?)




More information about the FOM mailing list