Model theoretic methods in the theory of topological fields. Alexander Prestel, Martin Ziegler (1978) Journal für die reine und angewandte Mathematik