A ganzstellensatz for semi-algebraic sets in real closed valued fields

Abstract

Let $(K,\nu )$ be a real closed valued field, and let $S\subseteq K^n$ be a definable open semi-algebraic set. We find an algebraic characterization of rational functions which are OVF-integral on $S$. We apply the existing model theoretic framework for proving ganzstellensätze, and need to control semi-sections and their relations to orderings. (joint work with Noa Lavi)

This paper has been withdrawn by the author following a request by Noa Lavi

Cited by in corpus (1)

• Characterizing finitary functions over non-archimedean RCFs via a topological definition of OVF-integrality