TY - RPRT TI - Analytic Nullstellensätze and the model theory of valued fields AU - Matthias Aschenbrenner AU - Ahmed Srhir PY - 2024 UR - https://arxiv.org/abs/2207.03979 ID - 2207.03979 ER -