加载中…
Let be such that are quadratic and . Then every subset of definable in both and is already definable in . As a consequence we generalize Cobham-Semenov theorems for sets of real numbers to -numeration systems, where is a quadratic irrational.

生成讲解博客的中文版本

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