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

- Lectures on the Philosophy of Mathematics, Oxford, Michaelmas 2018 August 13, 2018 Joel David Hamkins
- Set-theoretic blockchains August 7, 2018 Joel David Hamkins
- Topological models of arithmetic August 6, 2018 Joel David Hamkins
- Real and linear analysis August 1, 2018 Samuel Coskey
- Discrete and foundational mathematics August 1, 2018 Samuel Coskey

### Comments on Boole’s Rings

- Comment on Lectures on the Philosophy of Mathematics, Oxford, Michaelmas 2018 by Joel David Hamkins August 15, 2018 Comments for Joel David Hamkins
- Comment on Lectures on the Philosophy of Mathematics, Oxford, Michaelmas 2018 by Andrej Bauer August 15, 2018 Comments for Joel David Hamkins
- Comment on Lectures on the Philosophy of Mathematics, Oxford, Michaelmas 2018 by Joel David Hamkins August 13, 2018 Comments for Joel David Hamkins
- Comment on Lectures on the Philosophy of Mathematics, Oxford, Michaelmas 2018 by beekmancharlie August 13, 2018 Comments for Joel David Hamkins
- Comment on Lectures on the Philosophy of Mathematics, Oxford, Michaelmas 2018 by Erin Carmody August 13, 2018 Comments for Joel David Hamkins