Noa Lavi udowodniła w jednej ze swoich prac waluacyjna wersję Positivestellensatz - twierdzenia, które daje jawny opis funkcji regularnych, które są nieujemne lub dodatnie na pewnym waluacyjnym zbiorze semialgebraicznym (tj. zadanym przez równania i nierówności wielomianowe oraz ograniczenia na waluację). W tej pracy dowodzimy podobnego opisu dla kiełków funkcji analitycznych w otoczeniu 0, uzywając nasyconego modelu liczb rzeczywistych,.

In her work, N. Lavi proved valuative version of Positivestellensatz - what gives the explicit description of regular functions which are non-negative or positive on some valuative semi-algebraic set (defined by polynomial equalities or inequalities and conditions on valuation). In this paper we prove analogous description for analytic functions, using saturated model of real numbers.