A tame Cantor set

  • Philipp Hieronymi

    University of Illinois at Urbana-Champaign, Urbana, USA

Abstract

A Cantor set is a non-empty, compact subset of that has neither interior nor isolated points. In this paper a Cantor set is constructed such that every set definable in is Borel. In addition, we prove quantifier-elimination and completeness results for , making the set the first example of a modeltheoretically tame Cantor set. This answers questions raised by Friedman, Kurdyka, Miller and Speissegger. 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.

Cite this article

Philipp Hieronymi, A tame Cantor set. J. Eur. Math. Soc. 20 (2018), no. 9, pp. 2063–2104

DOI 10.4171/JEMS/806