Please note that the content of this book primarily consists of articles
available from Wikipedia or other free sources online. Robert Martin
Solovay (1938 - ) is a set theorist and professor. Among his most noted
accomplishments are Solovay's theorem showing (relative to the existence
of an inaccessible cardinal) that the statement "every set of real
numbers is Lebesgue measurable" is consistent with ZF without the axiom
of choice, and isolating the notion of 0#. He proved that the existence
of a real valued measurable cardinal is equiconsistent with the
existence of a measurable cardinal. 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. Among his notable students are W. Hugh Woodin and
Matthew Foreman. Solovay has accomplishments outside of set theory as
well; with Volker Strassen, he developed the Solovay-Strassen primality
test, which is used to identify large natural numbers that are prime
with high probability, and had important ramifications in the history of
cryptography.
