Analytic Nullstellensätze and the model theory of valued fields

We present a uniform framework for establishing Nullstellensätze for power series rings using quantifier elimination results for valued fields. As an application, we obtain Nullstellensätze for p$p$‐adic power series (both formal and convergent) analogous to Rückert's complex and Risler's real Nullstellensatz, as well as a p$p$‐adic analytic version of Hilbert's 17th Problem. Analogous statements for restricted power series, both real and p$p$‐adic, are also considered.