### Boole’s Rings

- Bi-interpretation in set theory, Bristol, February 2020 January 22, 2020 Joel David Hamkins
- Fake Reflection January 20, 2020 Assaf Rinot
- Bi-interpretation in weak set theories January 16, 2020 Joel David Hamkins
- A Microscopic approach to Souslin-tree constructions. Part II January 7, 2020 Assaf Rinot
- Philosophy meets maths, Oxford, January 2020 January 7, 2020 Joel David Hamkins

### Comments on Boole’s Rings

- Comment on Bi-interpretation in weak set theories by Bi-interpretation in set theory, Bristol, February 2020 | Joel David Hamkins January 22, 2020 Comments for Joel David Hamkins
- Comment on A new proof of the Barwise extension theorem, without infinitary logic by The $Sigma_1$-definable universal finite sequence | Joel David Hamkins January 14, 2020 Comments for Joel David Hamkins
- Comment on Lectures on the philosophy of mathematics, Oxford, Michaelmas term 2019 by Joel David Hamkins January 8, 2020 Comments for Joel David Hamkins
- Comment on Lectures on the philosophy of mathematics, Oxford, Michaelmas term 2019 by Klaus Loehnert January 8, 2020 Comments for Joel David Hamkins
- Comment on Climb into Cantor's attic by Joel David Hamkins January 4, 2020 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