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

Nathanaël Mariaule

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 predica…