Non-axiomatizable classes of V-topological fields. Alexander Prestel, Martin Ziegler (1980) Journal für die reine und angewandte Mathematik
Nonstandard arithmetic of function fields over H-convex subfields of *Q. Masahiro Yasumoto (1983) Journal für die reine und angewandte Mathematik
Nonstandard models of arithmetic as an alternative basis for continuum considerations Karel Čuda (1983) Commentationes Mathematicae Universitatis Carolinae