Descent problem for certificate of non-negativity on semi-algebraic sets

Manoj K. Keshari, Debapriya Ojha, Niladri Sekhar Patra

Let $F$ be a subfield of $\mathbb{R}$ and let $K$ be a basic closed semi-algebraic set in $\mathbb{R}$ with $\partial K\subset F$. Let $\mathcal{N}$ be the natural choice of generator…