[FOM] Consistency of formal systems

H. Enderton hbe at math.ucla.edu
Mon Jul 28 14:00:48 EDT 2003

Torkel Franzen wrote:
>  I commented earlier that Fenstad's proof was known to be incorrect.
>However, it seems that this fact is known only in folklore, and that
>no retraction or correction has been published in the logical
>literature - more precisely, I haven't found any such, but stand ready
>to be corrected.

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

--Herbert Enderton

More information about the FOM mailing list