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

- Fifteen fun problems September 29, 2016 Dana C. Ernst
- Bootcamp 4 – Ramsey DocCourse Prague 2016 September 28, 2016 Mike Pawliuk
- The 5 groups of order 8 September 28, 2016 Dana C. Ernst
- Bootcamp 3 – Ramsey DocCourse Prague 2016 September 27, 2016 Mike Pawliuk
- A (new) favorite math book September 27, 2016 Dana C. Ernst

### Comments on Boole’s Rings

- Comment on Bootcamp 3 – Ramsey DocCourse Prague 2016 by Ramsey DocCourse Prague 2016 – Index September 28, 2016 Comments for Mike Pawliuk
- Comment on Bootcamp 3 – Ramsey DocCourse Prague 2016 by Bootcamp 4 – Ramsey DocCourse Prague 2016 September 28, 2016 Comments for Mike Pawliuk
- Comment on Bootcamp 3 – Ramsey DocCourse Prague 2016 by Ramsey DocCourse Prague 2016 – Index September 27, 2016 Comments for Mike Pawliuk
- Comment on Upward countable closure in the generic multiverse of forcing to add a Cohen real by Upward closure and amalgamation in the generic multiverse of a countable model of set theory | Joel David Hamkins September 21, 2016 Comments for Joel David Hamkins
- Comment on An introduction to Boolean ultrapowers, Bonn, 2011 by Upward closure and amalgamation in the generic multiverse of a countable model of set theory | Joel David Hamkins September 21, 2016 Comments for Joel David Hamkins