Электронный каталог: D’aquino, Paola - A valuation theoretic characterization of recursively saturated real closed fields