2022/07/08 by Aschenbrenner, Matthias, Srhir, Ahmed
#Commutative Algebra (math.AC) #FOS: Mathematics #Logic (math.LO)
paper · doi:10.48550/arxiv.2207.03979
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.