### Boole’s Rings

- KNAW Academy Colloquium on Generalised Baire Spaces - Lebesgue’s Density Theorem for tree forcing ideals March 22, 2018 [“Sandra Müller”]
- Virtual large cardinal principles at KGRC March 21, 2018 Victoria Gitman
- A model of second-order arithmetic satisfying AC but not DC March 21, 2018 Victoria Gitman
- The universal finite set, Rutgers Logic Seminar, April 2018 March 19, 2018 Joel David Hamkins
- Turin - Combinatorial Variants of Lebesgue’s Density Theorem March 14, 2018 [“Sandra Müller”]

### Comments on Boole’s Rings

- Comment on Upward closure and amalgamation in the generic multiverse of a countable model of set theory by Nonamalgamation in the Cohen generic multiverse, CUNY Logic Workshop, March 2018 | Joel David Hamkins March 22, 2018 Comments for Joel David Hamkins
- Comment on The modal logic of arithmetic potentialism and the universal algorithm by The universal finite set, Rutgers Logic Seminar, April 2018 | Joel David Hamkins March 20, 2018 Comments for Joel David Hamkins
- Comment on The universal finite set by The universal finite set, Rutgers Logic Seminar, April 2018 | Joel David Hamkins March 19, 2018 Comments for Joel David Hamkins
- Comment on How does a slinky fall? by Dave Randell March 15, 2018 Comments for Joel David Hamkins
- Comment on In praise of failure by saf March 13, 2018 Comments for Asaf Karagila

# 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