Definability and decidability in expansions by generalized Cantor sets

arXiv1701.08426MaRDI QIDQ6282567FDOQ6282567

Authors: William Balderrama, Philipp Hieronymi 

Publication date: 29 January 2017

Abstract: We determine the sets definable in expansions of the ordered real additive group by generalized Cantor sets. Given a natural number $rgeq3$, we say a set $C$ is a generalized Cantor set in base $r$ if there is a non-empty $Ksubseteq1,ldots,r-2$ such that $C$ is the set of those numbers in $[0,1]$ that admit a base $r$ expansion omitting the digits in $K$. While it is known that the theory of an expansion of the ordered real additive group by a single generalized Cantor set is decidable, we establish that the theory of an expansion by two generalized Cantor sets in multiplicatively independent bases is undecidable.

Mathematics Subject Classification ID

Fractals (28A80) Decidability of theories and sets of sentences (03B25) Logic in computer science (03B70) Model theory of ordered structures; o-minimality (03C64)

This page was built for publication: Definability and decidability in expansions by generalized Cantor sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6282567)