English

Definability and decidability in expansions by generalized Cantor sets

Logic 2017-01-31 v1

Abstract

We determine the sets definable in expansions of the ordered real additive group by generalized Cantor sets. Given a natural number r3r\geq 3, we say a set CC is a generalized Cantor set in base rr if there is a non-empty K{1,,r2}K\subseteq\{1,\ldots,r-2\} such that CC is the set of those numbers in [0,1][0,1] that admit a base rr expansion omitting the digits in KK. 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.

Keywords

Cite

@article{arxiv.1701.08426,
  title  = {Definability and decidability in expansions by generalized Cantor sets},
  author = {William Balderrama and Philipp Hieronymi},
  journal= {arXiv preprint arXiv:1701.08426},
  year   = {2017}
}
R2 v1 2026-06-22T18:03:29.147Z