### Boole’s Rings

- Crecimiento en grupos y otras estructuras July 19, 2016 Nick Gill
- More notions of forcing add a Souslin tree July 17, 2016 Assaf Rinot
- In praise of some history July 9, 2016 Asaf Karagila
- Constructive proof that large cardinals are consistent July 6, 2016 Asaf Karagila
- Why complete regularity rather than Hausdorff is the correct cutoff point between lower and higher separation axioms June 28, 2016 Joseph Van Name

### Comments on Boole’s Rings

- Comment on The global choice principle in Gödel-Bernays set theory by Andrew Song July 21, 2016 Comments for Joel David Hamkins
- Comment on The global choice principle in Gödel-Bernays set theory by Andrew Song July 21, 2016 Comments for Joel David Hamkins
- Comment on The global choice principle in Gödel-Bernays set theory by Andrew Song July 20, 2016 Comments for Joel David Hamkins
- Comment on The global choice principle in Gödel-Bernays set theory by Joel David Hamkins July 20, 2016 Comments for Joel David Hamkins
- Comment on The global choice principle in Gödel-Bernays set theory by Andrew Song July 20, 2016 Comments for Joel David Hamkins

# Tag Archives: Sean Sovine

## The logic of Reverse Mathematics

This post is about a research idea I have been thinking about which is quite different from my usual research. It’s an example of a project with an “old fashioned” feel to it, as if it could have been studied … Continue reading