### Boole’s Rings

- The modal logic of potentialism, ILLC Amsterdam, May 2019 April 15, 2019 Joel David Hamkins
- Is there just one mathematical universe? DRIFT, Amsterdam, May 2019 April 14, 2019 Joel David Hamkins
- Philosophy of Mathematics, graduate lecture seminar, Oxford, Trinity term 2019 April 11, 2019 Joel David Hamkins
- Kelley-Morse set theory does not prove the class Fodor principle April 9, 2019 Joel David Hamkins
- A Rodgers-Saxl type conjecture for characters April 5, 2019 Nick Gill

### Comments on Boole’s Rings

- Comment on Is there just one mathematical universe? DRIFT, Amsterdam, May 2019 by Hendrik Boom April 14, 2019 Comments for Joel David Hamkins
- Comment on Kelley-Morse set theory does not prove the class Fodor Principle, CUNY Set Theory Seminar, March, 2019 by Joel David Hamkins March 22, 2019 Comments for Joel David Hamkins
- Comment on An inconsistent form of club guessing by saf March 13, 2019 Comments for Assaf Rinot
- Comment on An inconsistent form of club guessing by Ari B. March 10, 2019 Comments for Assaf Rinot
- Comment on Draw an infinite chessboard in perspective, using straightedge only by Joel David Hamkins February 25, 2019 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