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

- Kelley-Morse set theory does not prove the class Fodor Principle, CUNY Set Theory Seminar, March, 2019 March 20, 2019 Joel David Hamkins
- On splitting and splittable families March 7, 2019 Samuel Coskey
- In praise of Replacement March 6, 2019 Asaf Karagila
- Introduction to continuous logic and model theory for metric structures. March 1, 2019 Samuel Coskey
- Must there be numbers we cannot describe or define? Definability in mathematics and the Math Tea argument, Norwich, February 2019 February 19, 2019 Joel David Hamkins

### Comments on Boole’s Rings

- Comment on Kelley-Morse set theory does not prove the class Fodor Principle, CUNY Set Theory Seminar, March, 2019 by Joel David Hamkins March 22, 2019 Comments for Joel David Hamkins
- Comment on An inconsistent form of club guessing by saf March 13, 2019 Comments for Assaf Rinot
- Comment on An inconsistent form of club guessing by Ari B. March 10, 2019 Comments for Assaf Rinot
- Comment on Draw an infinite chessboard in perspective, using straightedge only by Joel David Hamkins February 25, 2019 Comments for Joel David Hamkins
- Comment on Draw an infinite chessboard in perspective, using straightedge only by Gio February 25, 2019 Comments for Joel David Hamkins