Undecidable theories of valuated abelian groups Peter H. Schmitt (1984) Mémoires de la Société Mathématique de France