My first paper was “An incompleteness theorem for $\beta_n$ models” with Stephen Simpson [1]. It’s a short paper, but the idea is very pretty. We know that the incompleteness theorem implies there are strange models of arithmetic, but these models often seem mysterious, and it’s hard to see what useful properties they can have. But now suppose that a theory of the form $A+B$ meets the hypotheses of the incompleteness theorem, and moreover this theory proves its own consistency, so that $A+B$ is inconsistent. It follows that if $A$ is true (that is, true in the standard model) then $B$ must be false. In this way, we can use the incompleteness theorem to prove facts about the standard model rather than about nonstandard ones. The idea is originally due to Harvey Friedman in his thesis, I believe.

Continue reading

### Boole’s Rings

- New notes online! July 22, 2019 Asaf Karagila
- Toy multiverses of set theory July 17, 2019 Victoria Gitman
- Computably saturated models of ZFC July 16, 2019 Victoria Gitman
- Rutgers MAMLS 2019 - TBA July 14, 2019 Sandra Müller
- (with R. Carroy and A. Medini) Constructing Wadge classes July 11, 2019 Sandra Müller

### Comments on Boole’s Rings

- Comment on Modal model theory by Joel David Hamkins July 6, 2019 Comments for Joel David Hamkins
- Comment on Modal model theory by ekcarmody July 6, 2019 Comments for Joel David Hamkins
- Comment on Ehrenfeucht’s lemma in set theory by Vladimir June 23, 2019 Comments for Joel David Hamkins
- Comment on How to count by Joel David Hamkins May 30, 2019 Comments for Joel David Hamkins
- Comment on How to count by A witness to the writhing void May 29, 2019 Comments for Joel David Hamkins