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

# Category Archives: Musings

## An example with Dedekind cuts

In this post, I will briefly describe an example in computability theory that is well known, but not easy to find in the literature. It gives one reason why Dedekind cuts are difficult to work with computationally. Theorem. There is … Continue reading

Posted in Musings, Results worth knowing
Leave a comment

## Internal combinatorics and uniform reducibility

This post is a set of notes from a talk I gave on December 5th for the discrete mathematics seminar at Marshall University. I want to argue that logical analysis can reveal the “internal combinatorics” of theorems, using some recent … Continue reading

Posted in Musings, Research, Talks
Leave a comment

## Quiz on public peer review

I have been required to complete a “responsible conduct of research” training module by the research office at my school. The reason I am commenting is that I was asked to answer the following question “true” or “false”. This is … Continue reading

Posted in Musings
8 Comments

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