TY - RPRT TI - A generalized Sard theorem on real closed fields AU - Anna Valette AU - Guillaume Valette PY - 2015 UR - https://arxiv.org/abs/1503.04300 ID - 1503.04300 ER -