Jech's proof of Gödel's second incompleteness theorem

[Vaughan Pratt]

In response to Adriano Palma's request, Thomas Jech submitted his proof of
Gödel's second incompleteness theorem to arXiv on April 15, 1992.  It can
be downloaded from https://arxiv.org/abs/math/9204207 .  Hopefully that's
what Adriano wanted.

Vaughan Pratt
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20220911/bb2dea0d/attachment.html>