Tennenbaum’s Theorem again

I have posted here a significantly revised version of a handout written a couple of years ago on how to prove Tennenbaum’s Theorem.  This new version should I hope be quite a lot clearer in various ways. Enjoy!

This entry was posted in Logic. Bookmark the permalink.

Leave a Reply

Your email address will not be published. Required fields are marked *