加载中…
Let be the field of -adic numbers in the language of rings. In this paper we consider the theory of expanded by two predicates interpreted by multiplicative subgroups and where are multiplicatively independent. We show that the theory of this structure interprets Peano arithmetic if and have positive -adic valuation. If either or has zero valuation we show that the theory of $(\widetilde{_p}, \alpha^, \beta^)$ does not interpret Peano arithmetic. In that case we also prove that the theory is decidable iff the theory of is decidable.

生成讲解博客的中文版本

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