FOM: well-founded extensional relations

Thomas Forster T.Forster at dpmms.cam.ac.uk
Thu Jun 15 03:28:31 EDT 2000


>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.

True - i was a bit hasty.   I remember years ago reading a review by Dana
Scott (probably in the JSl or Math Rev) of an article by a Czech whose
name i can't remember.  I do remember that Dana was not impressed.  The
article probably dates from the early 60's





More information about the FOM mailing list