Abstract：In this note, the following proposition of A. Robinson is proved by by means of Tarski’s theorem: Let （F, P） be an ordered field, and g1（X1,…, X,）,…, gm（X1,…, Xn） be rational functions in n variables oven F. Then for every positive in- teger α,
1988, Vol. 12 