TY - RPRT TI - A valuation theoretic characterization of recursively saturated real closed fields AU - Paola D'Aquino AU - Salma Kuhlmann AU - Karen Lange PY - 2012 UR - https://arxiv.org/abs/1212.6842 ID - 1212.6842 ER -