TY - RPRT TI - A ganzstellensatz for semi-algebraic sets in real closed valued fields AU - Yoav Yaffe PY - 2011 UR - https://arxiv.org/abs/1101.3253 ID - 1101.3253 ER -