1 citations · 2 across the 4 of their papers we have counts for
Showing 2011 · math.AGShow all
2 papers · 2 filters
math.AG2011★ 1 cited
Positivstellensätze for semi-algebraic sets in real closed valued fields
Noa Lavi
The purpose of this paper is to give a characterization for polynomials and rational functions which admit only non-negative values on definable sets in real closed valued fields.…
math.AG2011★ 1 cited
A Ganzstellensatz for semi-algebraic sets and a boundedness criterion for rational functions
Noa Lavi
Let be a real closed valued field, and let be an open semi-algebraic set. Using tools from model theory, we find an algebraic characterization…