Robert M. Solovay | |
Birth Date: | December 15, 1938 |
Birth Place: | Brooklyn, New York, U.S. |
Nationality: | American |
Fields: | Mathematics |
Workplaces: | University of California, Berkeley |
Alma Mater: | University of Chicago |
Doctoral Advisor: | Saunders Mac Lane |
Doctoral Students: | Matthew Foreman Judith Roitman Betül Tanbay W. Hugh Woodin |
Known For: | Solovay model Solovay–Strassen primality test Zero sharp Martin's axiom Solovay–Kitaev theorem |
Robert Martin Solovay (born December 15, 1938) is an American mathematician working in set theory.
Solovay earned his Ph.D. from the University of Chicago in 1964 under the direction of Saunders Mac Lane, with a dissertation on A Functorial Form of the Differentiable Riemann–Roch theorem. Solovay has spent his career at the University of California at Berkeley, where his Ph.D. students include W. Hugh Woodin and Matthew Foreman.[1]
Solovay's theorems include:
λ
2λ=λ+
\kappa
S\subseteq\kappa
S
\kappa
P ≠ NP
\Box(\BoxA\toA)\to\BoxA