[FOM] proof of inconsistency of PA

Randall Holmes holmes at diamond.boisestate.edu
Thu May 6 00:37:17 EDT 2004


Dear FOMers,

I am not as yet convinced that the proof is incorrect, though
certainly Solovay has forced me to correct some typographical errors
and one genuine error in the construction (now apparently corrected
by tightening a definition).

But the outcome that Solovay reports is in many ways certainly the
one to be desired.  

A corrected version of the proof will be postedvery shortly (almost
certainly by the time you read this).

--Randall Holmes



More information about the FOM mailing list