### Boole’s Rings

- Quote by Paul Wallace August 26, 2016 Dana C. Ernst
- Strong failures of higher analogs of Hindman’s Theorem August 25, 2016 Assaf Rinot
- Set-theoretic mereology as a foundation of mathematics, Logic and Metaphysics Workshop, CUNY, October 2016 August 24, 2016 Joel David Hamkins
- BMC recruiting for 2016–17 August 17, 2016 Samuel Coskey
- The modal logic of set-theoretic potentialism, Kyoto, September 2016 August 9, 2016 Joel David Hamkins

### Comments on Boole’s Rings

- Comment on Math for nine-year-olds: fold, punch and cut for symmetry! by An Afternoon With Keena | established1962 August 24, 2016 Comments for Joel David Hamkins
- Comment on Set-theoretic mereology by Set-theoretic mereology, Logic and Metaphysics Workshop, CUNY, October 2016 | Joel David Hamkins August 24, 2016 Comments for Joel David Hamkins
- Comment on Math for nine-year-olds: fold, punch and cut for symmetry! by Math year in review part 2 – Fold and Cut | Mike's Math Page August 19, 2016 Comments for Joel David Hamkins
- Comment on A question for the mathematics oracle by Thomas Benjamin August 16, 2016 Comments for Joel David Hamkins
- Comment on A question for the mathematics oracle by Thomas Benjamin August 15, 2016 Comments for Joel David Hamkins

# Tag Archives: Reverse Mathematics

## Computable roots of computable functions

Here are several interesting results from computable analysis: Theorem 1. If $f$ is a computable function from $\mathbb{R}$ to $\mathbb{R}$ and $\alpha$ is an isolated root of $f$, then $\alpha$ is computable. Corollary 2. If $p(x)$ is a polynomial over … Continue reading

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