Ultraproduits des groupes finis et applications à la théorie de Galois Klaus Potthoff (1979) Publications du Département de mathématiques (Lyon)
Undecidable theories of valuated abelian groups Peter H. Schmitt (1984) Mémoires de la Société Mathématique de France