Undecidable theories of valuated abelian groups Peter H. Schmitt — 1984 Mémoires de la Société Mathématique de France
The model-completion of Stone algebras Peter H. Schmitt — 1976 Annales scientifiques de l'Université de Clermont. Mathématiques