A model-theoretic transfer theorem for henselian valued fields. Serban S. Basarab (1979) Journal für die reine und angewandte Mathematik
A representation of models of Peano arithmetic Josef Mlček (1973) Commentationes Mathematicae Universitatis Carolinae
Arithmetically independent integers and values of rational functions. Masahiro Yasumoto (1994) Manuscripta mathematica
Der Hilbertsche Irreduzibilitätssatz. Rainer Weissauer (1982) Journal für die reine und angewandte Mathematik
Extension of places and contraction properties for function fields over [...]-adically closed fields. Serban A. Basarab (1981) Journal für die reine und angewandte Mathematik
Model theory of fields: An application to positive semidefinite polynomials Alexander Prestel (1984) Mémoires de la Société Mathématique de France
Monomorphisms of inductive number systems Alling, Norman L., Swartz, Timothy A. (1990) Portugaliae mathematica
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
Симметрия сечений в полях формальных степенных рядов и нестандартной вещественной прямой Н.Ю. Галанова (2003) Algebra i Logika