Nichtaxiomatisierbarkeit von Satzmengen durch Ausdrücke spezieller Gestalt Kurt Hauschild (1971) Fundamenta Mathematicae
Non standard arithmetic and application to height functions Gerhard Frey (1981/1982) Groupe de travail d'analyse ultramétrique
Note on homomorphisms of direct products of algebras Bedřich Pondělíček (1979) Czechoslovak Mathematical Journal