Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1153

Preprint Number 1153

Previous Next Preprint server

1153. William Balderrama, Philipp Hieronymi
Definability and decidability in expansions by generalized Cantor sets

Submission date: 29 January 2017


We determine the sets definable in expansions of the ordered real additive group by generalized Cantor sets. Given a natural number r ≥ 3, we say a set C is a generalized Cantor set in base r if there is a non-empty K ⊆ {1,...,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: Primary 03B25 Secondary 03B70, 03C64, 28A80

Keywords and phrases:

Full text arXiv 1701.08426: pdf, ps.

Last updated: February 1 2017 13:45 Please send your corrections to: