Model theory of fields: An application to positive semidefinite polynomials Alexander Prestel (1984) Mémoires de la Société Mathématique de France