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 , we say a set is a generalized Cantor set in base if there is a non-empty such that is the set of those numbers in that admit a base expansion omitting the digits in . 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}
}