### Boole’s Rings

- Partitioning a reflecting stationary set February 15, 2019 Assaf Rinot
- 4th Arctic Set Theory Workshop, January 2019 February 15, 2019 Assaf Rinot
- The Core Model Induction and Other Inner Model Theoretic Tools Rutgers - Tutorial: HOD Computations February 8, 2019 Sandra Müller
- Potentialism and implicit actualism in the foundations of mathematics, Jowett Society lecture, Oxford, February 2019 January 26, 2019 Joel David Hamkins
- Towards a general method for accessible content trees or: deep aria-labels for equations revisited January 13, 2019 Peter Krautzberger

### Comments on Boole’s Rings

- Comment on Math for nine-year-olds: fold, punch and cut for symmetry! by Joel David Hamkins February 8, 2019 Comments for Joel David Hamkins
- Comment on Inner-model reflection principles by Inner-model reflection principles | A kind of library February 2, 2019 Comments for Joel David Hamkins
- Comment on Math for nine-year-olds: fold, punch and cut for symmetry! by Joseph O'Rourke January 30, 2019 Comments for Joel David Hamkins
- Comment on Math for nine-year-olds: fold, punch and cut for symmetry! by 10 fun geometry ideas to share with kids – inspired by a Jordan Ellenberg tweet – Mike's Math Page January 25, 2019 Comments for Joel David Hamkins
- Comment on A remark on Schimmerling’s question by Ari Brodsky January 24, 2019 Comments for Assaf Rinot

# 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