FOM: well-founded extensional relations

holmes@catseye.idbsu.edu holmes at catseye.idbsu.edu
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