FOM: Cohen's consistency proof

wtait@ix.netcom.com wtait at ix.netcom.com
Thu Apr 2 12:13:51 EST 1998


Concerning my posting on consistency proofs, in response to Steel:

Grigori Mints has informed me that Cohen's proof at Berkeley was not his 
old reconstruction of the substitution method, but a version of Gentzen's 
(second) consistency proof.

Bill Tait



More information about the FOM mailing list