[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