Abstract
We obtain a p-adic semilinear cell decomposition theorem using methods developed by Denef in [Journal fur die Reine und Angewandte Mathematik, vol. 369 (1986), pp. 154-166]. We also prove that any set definable with quantifiers in (0, 1, +, =, λq, Pn){n∈N,q∈Qp} may be defined without quantifiers, where λq is scalar multiplication by q and Pn is a unary predicate which denotes the nonzero nth powers in the p-adic field Qp. Such a set is called a p-adic semilinear set in this paper. Some further considerations are discussed in the last section