Rainer Prestel

Rainer Prestel
Name	Rainer Prestel
Birth date	1944
Birth place	Dortmund, Germany
Nationality	German
Fields	Mathematics, Algebra, Model Theory
Institutions	University of Dortmund, University of Ulm, Austrian Academy of Sciences
Alma mater	University of Freiburg
Doctoral advisor	Hans Zassenhaus
Notable students	Wolfgang Kunz, Manfred Knebusch
Known for	Real algebraic geometry, quadratic forms, model theory

Rainer Prestel

Rainer Prestel is a German mathematician noted for contributions to real algebraic geometry, quadratic form theory, and model theory. He held professorships at the University of Dortmund and the University of Ulm and collaborated with researchers across Europe and North America. Prestel's work is frequently cited in literature related to ordered fields, valuation theory, Hilbert's 17th problem, and the algebraic foundations of real closed field theory.

Early life and education

Prestel was born in Dortmund, Germany in 1944 and undertook his higher education at the University of Freiburg where he completed doctoral studies under the supervision of Hans Zassenhaus. During this period he interacted with contemporaries influenced by the traditions of David Hilbert via the German school and by the developments of Emil Artin and Oskar Perron. His early formation included exposure to research environments at institutions such as the Mathematical Institute of the University of Göttingen, the Max Planck Society, and seminars connected to the German Mathematical Society.

Academic career

Prestel's academic appointments began with positions in German universities, culminating in a full professorship at the University of Dortmund and later at the University of Ulm. He participated in visiting appointments and collaborations at institutions including the Institute for Advanced Study, the University of California, Berkeley, and the University of Chicago. Prestel served on editorial boards for journals associated with the London Mathematical Society, the American Mathematical Society, and the European Mathematical Society. He supervised doctoral candidates who went on to roles at the Austrian Academy of Sciences, the International Centre for Theoretical Physics, and several European research universities.

Research contributions

Prestel made significant contributions to the theory of ordered fields, real closed fields, and the algebraic treatment of positivity problems inspired by Hilbert's 17th problem. He co-authored influential texts that became standard references for researchers working on quadratic forms, Pfister forms, and the classification of anisotropic forms over various base fields. His work on the interaction between valuation theory and real algebraic properties clarified connections between the Artin-Schreier theorem and valuation-theoretic invariants. Prestel advanced decision procedures in model theory for fields with orderings and valuations, bridging methods developed in the school of Alfred Tarski and later refinements by Julia Robinson and Anscombe-style approaches.

Through collaborations with mathematicians such as Manfred Knebusch and others in the German National Research Network, Prestel explored local-global principles, patching techniques, and Hasse-type local invariants for forms and orderings. He contributed to the formalization of signatures of quadratic forms, linking classical results of Hasse and Witt to contemporary algebraic geometry problems treated in the spirit of Jean-Pierre Serre and Alexander Grothendieck. His expository and research monographs addressed effective methods for representing positive semidefinite polynomials as sums of squares, a theme connected to work by Emil Artin, Kurt Mahler, and later researchers in real algebraic geometry like János Kollár and Bernard Teissier.

Prestel's influence extended to computational aspects, where his theoretical frameworks informed algorithmic developments pursued at centers such as the Max Planck Institute for Mathematics and research groups collaborating with the European Union funded projects on symbolic computation.

Awards and honors

Prestel received recognition from national and international mathematical societies. He was awarded distinctions connected to the Deutsche Forschungsgemeinschaft and held fellowships or visiting fellow status at organizations including the Alexander von Humboldt Foundation, the Institute for Advanced Study, and the Royal Society associated research visits. His books and papers earned citations and recommendations in proceedings of the International Congress of Mathematicians and he was invited to give plenary and sectional talks at conferences organized by the European Mathematical Society and the American Mathematical Society.

Personal life and legacy

Prestel's mentorship fostered a generation of algebraists and logicians who advanced research at institutes such as the University of Vienna, the University of Bonn, the University of Münster, and the Technical University of Munich. His textbooks and monographs remain used in graduate courses on quadratic forms, real algebraic geometry, and model-theoretic methods, referenced alongside works by Tarski, Witt, and Knebusch. The techniques he developed continue to inform current research programs at research centers including the Hausdorff Center for Mathematics, the Institute Henri Poincaré, and the Fields Institute.

Category:German mathematicians Category:20th-century mathematicians Category:21st-century mathematicians