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 similar from the point of view of their dependence relations.

### Boole’s Rings

- Strong failures of higher analogs of Hindman’s Theorem August 25, 2016 Assaf Rinot
- Set-theoretic mereology as a foundation of mathematics, Logic and Metaphysics Workshop, CUNY, October 2016 August 24, 2016 Joel David Hamkins
- Functions and modeling August 18, 2016 Samuel Coskey
- Real and linear analysis August 18, 2016 Samuel Coskey
- BMC recruiting for 2016–17 August 17, 2016 Samuel Coskey

### Comments on Boole’s Rings

- Comment on Math for nine-year-olds: fold, punch and cut for symmetry! by An Afternoon With Keena | established1962 August 24, 2016 Comments for Joel David Hamkins
- Comment on Set-theoretic mereology by Set-theoretic mereology, Logic and Metaphysics Workshop, CUNY, October 2016 | Joel David Hamkins August 24, 2016 Comments for Joel David Hamkins
- Comment on Math for nine-year-olds: fold, punch and cut for symmetry! by Math year in review part 2 – Fold and Cut | Mike's Math Page August 19, 2016 Comments for Joel David Hamkins
- Comment on A question for the mathematics oracle by Thomas Benjamin August 16, 2016 Comments for Joel David Hamkins
- Comment on A question for the mathematics oracle by Thomas Benjamin August 15, 2016 Comments for Joel David Hamkins