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

- 50 Years of Set Theory in Toronto, May 2019 May 19, 2019 Assaf Rinot
- The connect-infinity game! April 30, 2019 Joel David Hamkins
- A model of second-order arithmetic satisfying ${\rm AC}$ but not ${\rm DC}$ April 26, 2019 Victoria Gitman
- Set theory in second-order April 19, 2019 Victoria Gitman
- The modal logic of potentialism, ILLC Amsterdam, May 2019 April 15, 2019 Joel David Hamkins

### Comments on Boole’s Rings

- Comment on The multiverse view in set theory, Singapore 2011 by A multiverse perspective on the axiom of constructiblity | Joel David Hamkins May 20, 2019 Comments for Joel David Hamkins
- Comment on Modal principles of potentialism, Oxford, January 2018 by David Roberts May 12, 2019 Comments for Joel David Hamkins
- Comment on Modal principles of potentialism, Oxford, January 2018 by Joel David Hamkins May 12, 2019 Comments for Joel David Hamkins
- Comment on Math for eight-year-olds: graph theory for kids! by Joel David Hamkins May 12, 2019 Comments for Joel David Hamkins
- Comment on Modal principles of potentialism, Oxford, January 2018 by David Roberts May 12, 2019 Comments for Joel David Hamkins