[FOM] Consistency of formal systems

Torkel Franzen torkel at sm.luth.se
Mon Jul 28 14:22:01 EDT 2003

Herbert Enderton says:

  >The review of Fenstad's paper in JSL, XXXIV 131, by Steven Savitt,
  >does indeed discuss the gap in Fenstad's proof.

  Thanks for pointing this out. Indeed I find that I had neglected to
look up Fenstad's paper on MathSciNet, where there is a review by
Feferman mentioning that Savitt found an error. So a more assiduous
student seeking information will be directed to the JSL review through
Feferman's review, and now also through the FOM list.

Torkel Franzen

More information about the FOM mailing list