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