Feferman FSO reference

• Mail folder: QED
• Next message: John Harrison: "Re: Answer to a question, and further speculation on a QED foundation"
• Previous message: Robert S. Boyer: "Answer to a question, and further speculation on a QED foundation"

Date: Sun, 18 Apr 93 14:05:52 CDT
From: Robert S. Boyer <boyer@CLI.COM>
Message-id: <9304181905.AA13435@axiom.CLI.COM>
To: qed@mcs.anl.gov
Subject: Feferman FSO reference
Reply-To: boyer@CLI.COM
Sender: qed-owner
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.