IGT1 was already a long book: IGT2 is a bit longer still. That’s one major reason for not including exercises in the book itself. But another, equally important, reason is that I didn’t want to discourage not-so-mathematical philosophers by adding daunting end-of-chapters lists of problems.
Still, some readers might appreciate exercises to help test their understanding, and (occasionally) to expand their knowledge too. Note, it isn’t required that you do any of the exercises to follow the book. But here’s a (very slowly growing) selection to make use of as you will.
I’ve given answers to most of the exercises. All references to Chapters, Sections, Theorems etc. are to the Second Edition.
|2||Functions||Ans||25 jul 2014|
|2||Equinumerosity||Ans||15 feb 2013|
|3||Computability||Ans||16 feb 2013|
|4||Theories||Ans||22 feb 2013|
|5||The language LA||Ans||7 mar 2013|
|6, 7||Sufficiently expressive/strong theories||Ans||12 jan 2014|
|9||Induction, informally||Ans||5 mar 2014|
|10, 11||Arithmetics without induction||Ans||24 jul 2014|
|12, 13||Arithmetics with induction||Ans||coming soon|