Non standard arithmetic and application to height functions Gerhard Frey (1981/1982) Groupe de travail d'analyse ultramétrique
Non-axiomatizable classes of V-topological fields. Alexander Prestel, Martin Ziegler (1980) Journal für die reine und angewandte Mathematik