Geodesic
A tame Cantor set
Journal of the European Mathematical Society, Tome 20 (2018) no. 9, pp. 2063-2104.

Voir la notice de l'article provenant de la source EMS Press

A Cantor set is a non-empty, compact subset of R that has neither interior nor isolated points. In this paper a Cantor set K⊆R is constructed such that every set definable in (R,,+,⋅,K) is Borel. In addition, we prove quantifier-elimination and completeness results for (R,,+,⋅,K), making the set K 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.
DOI : 10.4171/jems/806
Classification : 03-XX, 28-XX
Keywords: Expansions of the real field, Cantor set, tame geometry, Borel sets, quantifier elimination, monadic second-order theory of one successor 
@article{JEMS_2018_20_9_a0,
     author = {Philipp Hieronymi},
     title = {A tame {Cantor} set},
     journal = {Journal of the European Mathematical Society},
     pages = {2063--2104},
     publisher = {mathdoc},
     volume = {20},
     number = {9},
     year = {2018},
     doi = {10.4171/jems/806},
     url = {http://geodesic.mathdoc.fr/articles/10.4171/jems/806/}
}
TY  - JOUR
AU  - Philipp Hieronymi
TI  - A tame Cantor set
JO  - Journal of the European Mathematical Society
PY  - 2018
SP  - 2063
EP  - 2104
VL  - 20
IS  - 9
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.4171/jems/806/
DO  - 10.4171/jems/806
ID  - JEMS_2018_20_9_a0
ER  - 
%0 Journal Article
%A Philipp Hieronymi
%T A tame Cantor set
%J Journal of the European Mathematical Society
%D 2018
%P 2063-2104
%V 20
%N 9
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.4171/jems/806/
%R 10.4171/jems/806
%F JEMS_2018_20_9_a0
Philipp Hieronymi. A tame Cantor set. Journal of the European Mathematical Society, Tome 20 (2018) no. 9, pp. 2063-2104. doi : 10.4171/jems/806. http://geodesic.mathdoc.fr/articles/10.4171/jems/806/

Cité par Sources :