### Boole’s Rings

- On checking a proof July 24, 2017 Dave Sixsmith
- Second-order transfinite recursion is equivalent to Kelley-Morse set theory over GBC July 23, 2017 Joel David Hamkins
- Nebula-The cryptocurrency that will produce the reversible computer July 22, 2017 Joseph Van Name
- The transitive multiverse July 22, 2017 Asaf Karagila
- The fundamental problem of math on the web July 21, 2017 Peter Krautzberger

### Comments on Boole’s Rings

- Comment on Infinite Combinatorial Topology by Rodrigo HernÃ¡ndez-GutiÃ©rrez July 25, 2017 Comments for Assaf Rinot
- Comment on Open determinacy for class games by Second-order transfinite recursion is equivalent to Kelley-Morse set theory over GBC | Joel David Hamkins July 23, 2017 Comments for Joel David Hamkins
- Comment on Transfinite recursion as a fundamental principle in set theory by Second-order transfinite recursion is equivalent to Kelley-Morse set theory over GBC | Joel David Hamkins July 23, 2017 Comments for Joel David Hamkins
- Comment on Games with the computable-play paradox by Warren D Smith July 21, 2017 Comments for Joel David Hamkins
- Comment on Ordinal definable subsets of singular cardinals by saf July 18, 2017 Comments for Assaf Rinot

# Category Archives: Papers

## Reverse Mathematics of Matroids

This post is about the paper Reverse Mathematics of Matroids by Jeff Hirst and me. We look at basis theorems for countable vector spaces, countable graphs, and countable enumerated matroids. These three kinds of structures turn out to be extremely … Continue reading

Posted in Papers, Research
Leave a comment

## An incompleteness theorem for β_{n} models

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 … Continue reading

Posted in Papers, Research
2 Comments