Despite being relatively small, my department has three faculty in finite combinatorics, in addition to having me in logic. I recently gave a series of two talks in our seminar to present a broad overview of classical computability theory, and to present some more recent applications to mathematics, via Reverse Mathematics and via Weihrauch Reducibility.

### Boole’s Rings

- The 14th International Workshop on Set Theory in Luminy October 14, 2017 Assaf Rinot
- Virtual large cardinal principles October 12, 2017 Victoria Gitman
- Borel complexity theory and classification problems October 9, 2017 Samuel Coskey
- Dynamics in the Eremenko-Lyubich class October 8, 2017 Dave Sixsmith – I am a mathematician, not a calculator
- The problem with MathML as a web standard (part 4) September 29, 2017 Peter Krautzberger

### Comments on Boole’s Rings

- Comment on Ord is not definably weakly compact by Ali Enayat October 17, 2017 Comments for Joel David Hamkins
- Comment on Virtual large cardinal principles by Victoria Gitman October 16, 2017 Comments for Victoria Gitman
- Comment on Virtual large cardinal principles by Neil Barton October 16, 2017 Comments for Victoria Gitman
- Comment on Square principles by The 14th International Workshop on Set Theory in Luminy | Assaf Rinot October 15, 2017 Comments for Assaf Rinot
- Comment on Math for seven-year-olds: graph coloring, chromatic numbers, and Eulerian paths and circuits by Joel David Hamkins October 10, 2017 Comments for Joel David Hamkins