Resumen de Positive elimination in valued fields
Let K be an algebraically closed field with a valuation ring or a real closed field with a convex valuation ring . We show that the projection of a basic (see ¿Introduction¿) subset of to K n is again basic.
