Return-Path: Delivery-Date: Received: from antares.mcs.anl.gov (actually mcs.anl.gov !OR! owner-qed@mcs.anl.gov) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Thu, 17 Aug 1995 22:34:00 +0100 Received: (from listserv@localhost) by antares.mcs.anl.gov (8.6.10/8.6.10) id QAA27876 for qed-out; Thu, 17 Aug 1995 16:27:14 -0500 Received: from catseye.idbsu.edu (catseye.idbsu.edu [132.178.200.125]) by antares.mcs.anl.gov (8.6.10/8.6.10) with SMTP id QAA27696 for ; Thu, 17 Aug 1995 16:22:27 -0500 Message-Id: <199508172122.QAA27696@antares.mcs.anl.gov> Received: by catseye.idbsu.edu (1.38.193.4/16.2) id AA07821; Thu, 17 Aug 1995 15:29:18 -0600 Date: Thu, 17 Aug 1995 15:29:18 -0600 From: Randall Holmes To: qed@mcs.anl.gov Subject: Meta-logic Sender: owner-qed@mcs.anl.gov Precedence: bulk A very preliminary version of some remarks on this subject can be found on my WWW page (address in my signature). This is pursuant on what I undertook to do at the QED workshop; as I make progress I will update the WWW page or post something here. The opinions expressed | --Sincerely, M. Randall Holmes above are not the official | Math. Dept., Boise State Univ. opinions of any person | holmes@math.idbsu.edu or institution. | http://math.idbsu.edu/faculty/holmes.html