[FOM] Consistency of formal systems

[Torkel Franzen]

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