AbstractWe obtain a p-adic semilinear cell decomposition theorem using methods developed by Denef in [Journal für 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∈ℕ,q∈ℚp} 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 ℚp. Such a set is called a p-adic semilinear set in this paper. Some further considerations are discussed in the last section.