Fractals and the monadic second order theory of one successor

Philipp Hieronymi, Erik Walsberg

We show that if $X$ is virtually any classical fractal subset of ${\mathbb{R}}^n$, then $(\mathbb{R},<,+,X)$ interprets the monadic second-order theory of $(\mathbb{N},+1)$. This res…