Abstract: Let $\overline{\mathbf{R}}:=(\mathbf{R},<,+,\cdot)$ denote the real ordered field. Our focus here is on expansions of $\overline{\mathbf{R}}$ by Cantor sets. For our purposes, a Cantor set is a non-empty, compact subset of $\mathbf{R}$ that has neither interior nor isolated points. We consider the following question due to Friedman, Kurdyka, Miller and Speissegger: is there a Cantor set $K$ and $N\in \mathbf{N}$ such that every set definable from $(\overline{\mathbf{R}},K)$ is $\boldsymbol{\Sigma}_N^1$? I will answer this question positively. In addition to using techniques from model theory, o-minimality and descriptive set theory and previous work of Friedman et al., the work presented in this talk depends crucially on well known results about the monadic second order theory of one successor due to Buechi, Landweber and McNaughton.