Jech's Semantic proof of second incompleteness

[Sam Buss]

[Moderator comment: This message is in reply to M. Dowd's post of September
5 on "Proofs of second incompleteness". - SB]

----------
From: <fom-bounces at cs.nyu.edu>
Date: Tue, Sep 6, 2022 at 10:32 PM

I included a version of this as 6.6.15 in Fundamentals of Mathematical
Logic.

Peter Hinman

********************************************************************
Peter G. Hinman        734-971-6745
pgh at umich.edu    www-personal.umich.edu/~pgh/gallery
*********************************************************************
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20220909/195c70d4/attachment.html>