Robert M. Solovay

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.

[1] Solovay has spent his career at the University of California at Berkeley, where his Ph.D. students include W. Hugh Woodin and Matthew Foreman.

[2] Solovay's theorems include: