Pat wrote: > As a recent example, > Peter Aczel defined a set theory that allows sets that contain > themselves. We could always invite Peter Aczel to speak at the Manchester to f2f :) http://www.cs.man.ac.uk/~petera/ JeremyReceived on Friday, 6 September 2002 08:58:47 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:52 GMT