Lecture Notes in Logic

Gödel's program for new axioms: why, where, how and what?

Solomon Feferman

Full-text: Open access

Chapter information

Source
Petr Hájek, ed., Gödel '96: Logical foundations of mathematics, computer science and physics---Kurt Gödel's legacy, Brno, Czech Republic, August 1996, proceedings (Berlin: Springer-Verlag, 1996), 3-22

Dates
First available in Project Euclid: 23 February 2009

Permanent link to this document
https://projecteuclid.org/euclid.lnl/1235417011

Mathematical Reviews number (MathSciNet)
MR1441099

Zentralblatt MATH identifier
0857.03034

Rights
Copyright © 1996, Association for Symbolic Logic

Citation

Feferman, Solomon. Gödel's program for new axioms: why, where, how and what?. Gödel '96: Logical foundations of mathematics, computer science and physics---Kurt Gödel's legacy, Brno, Czech Republic, August 1996, proceedings, 3--22, Springer-Verlag, Berlin, 1996. https://projecteuclid.org/euclid.lnl/1235417011


Export citation