FOM: well-founded extensional relations holmes at
Wed Jun 14 14:22:28 EDT 2000

I agree with Thomas that Roland Hinnion is responsible for introducing
the well-founded relation interpretation of Zermelo-style set theory
in NF.  I would be surprised to find that he was the first person to
consider interpreting Zermelo-style set theory using well-founded
extensional relations in a general context; I would be interested to
hear if anyone knows about the history of this idea.

                                   --Randall Holmes

More information about the FOM mailing list