Expansions of the $p$-adic numbers that interprets the ring of integers

Abstract

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