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

- Unifying themes in Ramsey Theory – BIRS 2018 December 3, 2018 Mike Pawliuk – Mathematics
- The rearrangement and subseries numbers: how much convergence suffices for absolute convergence? Mathematics Colloquium, University of Münster, January 2019 November 26, 2018 Joel David Hamkins
- An infinitary-logic-free proof of the Barwise end-extension theorem, with new applications, University of Münster, January 2019 November 26, 2018 Joel David Hamkins
- A new proof of the Barwise extension theorem, without infinitary logic, CUNY Logic Workshop, December 2018 November 26, 2018 Joel David Hamkins
- Preserving Properness November 23, 2018 Asaf Karagila

### Comments on Boole’s Rings

- Comment on The hierarchy of logical expressivity by Stan Letovsky December 9, 2018 Comments for Joel David Hamkins
- Comment on The rearrangement number by The rearrangement and subseries numbers: how much convergence suffices for absolute convergence? Mathematics Colloquium, University of Münster, January 2019 | Joel David Hamkins November 26, 2018 Comments for Joel David Hamkins
- Comment on Lectures on the Philosophy of Mathematics, Oxford, Michaelmas 2018 by Joel David Hamkins November 9, 2018 Comments for Joel David Hamkins
- Comment on Lectures on the Philosophy of Mathematics, Oxford, Michaelmas 2018 by Artem Kaznatcheev November 8, 2018 Comments for Joel David Hamkins
- Comment on Alan Turing, On computable numbers by Joel David Hamkins October 13, 2018 Comments for Joel David Hamkins