Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Path: utzoo!utgpu!jarvis.csri.toronto.edu!utai!bart From: bart@utai.UUCP Newsgroups: ut.theory Subject: hypersets Message-ID: <4167@utai.UUCP> Date: Tue, 1-Dec-87 16:09:14 EST Article-I.D.: utai.4167 Posted: Tue Dec 1 16:09:14 1987 Date-Received: Fri, 4-Dec-87 02:17:52 EST Organization: CSRI, University of Toronto Lines: 13 Keywords: hypersets Meeting of possible interest to theory students: Research Meeting on Formal Methods in KR. Next meeting: Wednesday, Dec. 2, 3pm to 4pm place: DCS seminar room Jim des Rivieres will dicuss hypersets, an alternative to the Zermelo conception of sets. I put a copy of a paper describing hypersets in the AI-lab (KR-box). -- Bart -- \\\\ Bart Selman University of Toronto Department of Computer Science //// !utcsri!utai!bart bart@ai.toronto.edu 416-978 4837