[FOM] proof of inconsistency of PA

[Randall Holmes]

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