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

- Generalizations of Laver tables Abridged posted! March 21, 2017 Joseph Van Name
- Stationary preserving permutations are the identity on a club March 20, 2017 Asaf Karagila
- Ternary Laver table calculator (now with a local and a global calculator) March 16, 2017 Joseph Van Name
- overlay journals March 16, 2017 Peter Krautzberger
- Computable processes which produce any desired output in the right nonstandard model March 15, 2017 Victoria Gitman

### Comments on Boole’s Rings

- Comment on All triangles are isosceles by Joel David Hamkins March 13, 2017 Comments for Joel David Hamkins
- Comment on All triangles are isosceles by Spring Beauty (@SpringBeautyDJ) March 12, 2017 Comments for Joel David Hamkins
- Comment on All triangles are isosceles by Joel David Hamkins March 11, 2017 Comments for Joel David Hamkins
- Comment on Buckets of fish! by Buckets of Fish and Defeating Hydras | Mike's Math Page March 11, 2017 Comments for Joel David Hamkins
- Comment on All triangles are isosceles by Spring Beauty (@SpringBeautyDJ) March 11, 2017 Comments for Joel David Hamkins