[FOM] proof of inconsistency of PA
holmes at diamond.boisestate.edu
Thu May 6 00:37:17 EDT 2004
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).
More information about the FOM