FOM: well-founded extensional relations

[holmes@catseye.idbsu.edu]

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