Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from antares.mcs.anl.gov (actually antares9.mcs.anl.gov !OR! owner-qed@mcs.anl.gov) 
          by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk;
          Sun, 14 Aug 1994 02:26:52 +0100
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.