  Another method of proof consists in using a so-called transfer principle which allows one to infer the truth of a sentence for all real closed fields from its being true in one real closed field, say the real numbers. Despite the fact that the transfer principle is a very efficient tool, Brumfiel does not make any use of it, and he is very clear about this.