Analytic Nullstellensätze and the model theory of valued fields

Abstract

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$-adic power series (both formal and convergent) analogous to Rückert's complex and Risler's real Nullstellensatz, as well as a $p$-adic analytic version of Hilbert's 17th Problem. Analogous statements for restricted power series, both real and $p$-adic, are also considered.