### Boole’s Rings

- Bootcamp 4 – Ramsey DocCourse Prague 2016 September 28, 2016 Mike Pawliuk
- The 5 groups of order 8 September 28, 2016 Dana C. Ernst
- Bootcamp 3 – Ramsey DocCourse Prague 2016 September 27, 2016 Mike Pawliuk
- A (new) favorite math book September 27, 2016 Dana C. Ernst
- How did I become a mathematician? September 26, 2016 Dana C. Ernst

### Comments on Boole’s Rings

- Comment on Bootcamp 3 – Ramsey DocCourse Prague 2016 by Ramsey DocCourse Prague 2016 – Index September 28, 2016 Comments for Mike Pawliuk
- Comment on Bootcamp 3 – Ramsey DocCourse Prague 2016 by Bootcamp 4 – Ramsey DocCourse Prague 2016 September 28, 2016 Comments for Mike Pawliuk
- Comment on Bootcamp 3 – Ramsey DocCourse Prague 2016 by Ramsey DocCourse Prague 2016 – Index September 27, 2016 Comments for Mike Pawliuk
- Comment on Upward countable closure in the generic multiverse of forcing to add a Cohen real by Upward closure and amalgamation in the generic multiverse of a countable model of set theory | Joel David Hamkins September 21, 2016 Comments for Joel David Hamkins
- Comment on An introduction to Boolean ultrapowers, Bonn, 2011 by Upward closure and amalgamation in the generic multiverse of a countable model of set theory | Joel David Hamkins September 21, 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