From owner-qed Sat Aug 13 20:25:34 1994
Received: from localhost (listserv@localhost) by antares.mcs.anl.gov (8.6.4/8.6.4) id UAA06880 for qed-out; Sat, 13 Aug 1994 20:25:19 -0500
Received: from SAIL.Stanford.EDU (SAIL.Stanford.EDU [36.28.0.130]) by antares.mcs.anl.gov (8.6.4/8.6.4) with SMTP id UAA06875 for <qed@mcs.anl.gov>; Sat, 13 Aug 1994 20:25:13 -0500
Received:  by SAIL.Stanford.EDU (5.57/25-eef) id AA07936; Sat, 13 Aug 94 18:25:09 -0700
Date: Sat, 13 Aug 94 18:25:09 -0700
From: John McCarthy <jmc@sail.Stanford.EDU>
Message-Id: <9408140125.AA07936@SAIL.Stanford.EDU>
To: dam@ai.mit.edu
Cc: boyer@CLI.COM, qed@mcs.anl.gov
In-Reply-To: <9408140119.AA23180@wheaties> (dam@ai.mit.edu)
Subject: Re: set theory
Reply-To: jmc@cs.stanford.edu
Sender: owner-qed@mcs.anl.gov
Precedence: bulk

I agree that the set theory used as an intermediate language should
have functions and other extensions.  I have a long list of them.