Analytic Nullstellensätze and the model theory of valued fields
Matthias Aschenbrenner and
Ahmed Srhir
Mathematische Nachrichten, 2024, vol. 297, issue 8, 2873-2917
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$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.
Date: 2024
References: View complete reference list from CitEc
Citations:
Downloads: (external link)
https://doi.org/10.1002/mana.202200280
Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.
Export reference: BibTeX
RIS (EndNote, ProCite, RefMan)
HTML/Text
Persistent link: https://EconPapers.repec.org/RePEc:bla:mathna:v:297:y:2024:i:8:p:2873-2917
Ordering information: This journal article can be ordered from
http://www.blackwell ... bs.asp?ref=0025-584X
Access Statistics for this article
Mathematische Nachrichten is currently edited by Robert Denk
More articles in Mathematische Nachrichten from Wiley Blackwell
Bibliographic data for series maintained by Wiley Content Delivery ().