加载中…
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.

生成讲解博客的中文版本

生成AI智能校验的中文版本