Robert M. Solovay Explained

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.

Biography

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]

Work

Solovay's theorems include:

λ

is a strong limit singular cardinal, greater than a strongly compact cardinal then

2λ=λ+

holds;

\kappa

is an uncountable regular cardinal, and

S\subseteq\kappa

is a stationary set, then

S

can be decomposed into the union of

\kappa

disjoint stationary sets;

\Box(\BoxA\toA)\to\BoxA

as additional axioms) completely axiomatizes the logic of the provability predicate of Peano arithmetic;

Selected publications

See also

Notes and References

  1. Web site: Robert M. Solovay | Department of Mathematics at University of California Berkeley.
  2. 1994-10-10. Relativizations of the P=?NP question over the reals (and other ordered rings). Theoretical Computer Science. en. 133. 1. 15–22. 10.1016/0304-3975(94)00068-9. 0304-3975. Emerson. T.. free.