Return-Path: <john.harrison-request@uk.ac.cam.cl>
Delivery-Date: 
Received: from antares.mcs.anl.gov (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.4) outside ac.uk; Sun, 18 Apr 1993 20:11:24 +0100
Received: by antares.mcs.anl.gov id AA01640 (5.65c/IDA-1.4.4 for qed-outgoing);
          Sun, 18 Apr 1993 14:06:10 -0500
Received: from cli.com by antares.mcs.anl.gov with SMTP 
          id AA01633 (5.65c/IDA-1.4.4 for <qed@mcs.anl.gov>);
          Sun, 18 Apr 1993 14:06:08 -0500
Received: by CLI.COM (4.1/1); Sun, 18 Apr 93 14:00:42 CDT
Date: Sun, 18 Apr 93 14:05:52 CDT
From: Robert "S." Boyer <boyer@COM.CLI>
Message-Id: <9304181905.AA13435@axiom.CLI.COM>
Received: by axiom.CLI.COM (4.1/CLI-1.2) id AA13435; Sun, 18 Apr 93 14:05:52 CDT
To: qed@gov.anl.mcs
Subject: Feferman FSO reference
Reply-To: boyer@COM.CLI
Sender: qed-owner@gov.anl.mcs
Precedence: bulk

I should have included the following reference in my previous message
in which I mentioned Feferman's PRA-strong logic FS0: "Finitary
inductively presented logics", S. Feferman, Logic Colloquium '88,
Ferro, Bonotto, Valenti and Zanardo (eds.), Elsevier, North-Holland,
1989., pp. 191-220.