### 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

# Tag Archives: Sean Sovine

## The logic of Reverse Mathematics

This post is about a research idea I have been thinking about which is quite different from my usual research. It’s an example of a project with an “old fashioned” feel to it, as if it could have been studied … Continue reading