We exhibit the first explicit examples of Salem sets in Qp of every dimension 0 < α < 1 by showing that certain sets of well-approximable p-adic numbers are Salem sets. We construct measures supported on these sets that satisfy essentially optimal Fourier decay and upper regularity conditions, and we observe that these conditions imply that the measures satisfy strong Fourier restriction inequalities. We also partially generalize our results to higher dimensions. Our results extend theorems of Kaufman, Papadimitropoulos, and Hambrook from the real to the p-adic setting.Points, spheres, and balls in R d are Salem sets of dimension 0, d − 1, and d, respectively. Salem sets are named for Raphaël Salem [37], who proved the existence of Salem sets in R of every dimension 0 < α < 1 via a construction of Cantor sets with random contraction ratios. Kahane [24] proved the existence of Salem sets in R d of every dimension 0 < α < d by considering trajectories of Brownian motion and more general stochastic processes. There are many other random constructions of Salem sets in R d (see [7], [12], [15], [26], [38]).The random constructions of Salem sets mentioned above are unsatisfactory in that they do not give explicit Salem sets. At best, they give families whose members are (with respect to some measure) almost all Salem sets.Kaufman [25] was the first to give a construction of explicit Salem sets in R of every dimension 0 < α < 1. His construction comes from number theory and is (arguably) simpler than the random constructions mentioned above.For τ ∈ R, the set of τ -well-approximable real numbers is1] : |qx − r| ≤ max(|q|, |r|) −τ for infinitely many (q, r) ∈ Z 2 . A classic application of Dirichlet's pigeonhole principle is that E(τ ) = [−1, 1] when τ ≤ 1. Jarník [22] and Besicovitch [6] proved that E(τ ) has Hausdorff dimension 2/(1 + τ ) when τ > 1. Much further work has been done on metric properties of E(τ ) and various generalizations of it. For details, we direct the reader to the recent works [2], [4], [5], and references therein. Kaufman [25] proved Theorem 1.2.1 (Kaufman). For every τ > 1, E(τ ) is a Salem set of Hausdorff and Fourier dimension 2/(1 + τ ). Moreover, there exists a Borel probability measure µ supported on E(τ ) such that | µ(ξ)| |ξ| −1/(1+τ ) ln(1 + |ξ|) ∀ξ ∈ R, ξ = 0. All known constructions of explicit Salem sets in R d of dimension α / ∈ {0, d − 1, d} are based on Kaufman's construction. Bluhm [8] and Hambrook [20] generalized Kaufman's construction to show that some sets closely related to E(τ ) are also Salem sets in R. Bluhm [8] also observed that the radial set x ∈ R d : |x| ∈ E(τ ) (here and nowhere else | · | is the Euclidean norm on R d ) is a Salem set of dimension d − 1 + 2/(1 + τ ) when τ > 1. Hambrook [21] generalized Kaufman's construction to give explicit Salem sets in R 2 of every dimension 0 < α < 2.