### Boole’s Rings

- Cohen's Oddity October 20, 2018 Asaf Karagila
- The Stable Core October 15, 2018 Victoria Gitman
- On splitting families October 12, 2018 Samuel Coskey
- MSc thesis on matrix completion October 5, 2018 Nick Gill
- Souslin trees at successors of regular cardinals October 1, 2018 Assaf Rinot

### Comments on Boole’s Rings

- Comment on Alan Turing, On computable numbers by Joel David Hamkins October 13, 2018 Comments for Joel David Hamkins
- Comment on Alan Turing, On computable numbers by Lorenzo Cocco October 13, 2018 Comments for Joel David Hamkins
- Comment on Alan Turing, On computable numbers by Joel David Hamkins October 13, 2018 Comments for Joel David Hamkins
- Comment on Alan Turing, On computable numbers by Sam Butchart October 13, 2018 Comments for Joel David Hamkins
- Comment on Alan Turing, On computable numbers by Joel David Hamkins October 9, 2018 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