A tame Cantor set (Q1783995)

Summary: A Cantor set is a non-empty, compact subset of \(\mathbb{R}\) that has neither interior nor isolated points. In this paper a Cantor set \(K\subseteq\mathbb{R}\) is constructed such that every set definable in \((\mathbb{R},<,+,\cdot,K)\) is Borel. In addition, we prove quantifier-elimination and completeness results for \((\mathbb{R},<,+,\cdot,K)\), making the set \(K\) the first example of a model-theoretically tame Cantor set. This answers questions raised by \textit{H. Friedman} et al. [J. Symb. Log. 75, No. 4, 1311--1325 (2010; Zbl 1220.03030)]. The work in this paper depends crucially on results about automata on infinite words, in particular Büchi's celebrated theorem on the monadic second-order theory of one successor and McNaughton's theorem on Muller automata, which have never been used in the setting of expansions of the real field.