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 the mathematical field of set theory, the Solovay model is a model constructed by Robert M. Solovay (1970) in which all of the axioms of Zermelo–Fraenkel...

The Solovay–Strassen primality test, developed by Robert M. Solovay and Volker Strassen in 1977, is a probabilistic test to determine if a number is composite...

theorem). There are also modal analogues of the fixed-point theorem. Robert Solovay proved that the modal logic GL is complete with respect to Peano Arithmetic...

the most common axiomatization of set theory, so-called ZFC. In 1964, Robert Solovay constructed a model of Zermelo–Fraenkel set theory without the axiom...

was also enhanced by the work of Theodore P. Baker, John Gill, and Robert Solovay who showed, in 1975, that solving NP-problems in certain oracle machine...

Schönhage–Strassen algorithm. Strassen is also known for his 1977 work with Robert M. Solovay on the Solovay–Strassen primality test, the first method to show that testing...

prize for having the best grade point average yet recorded at Yale) had met Robert Maynard Hutchins, the new president of the University of Chicago, who encouraged...

axioms, implies, of course, that a weaker form is also consistent." Robert Solovay conjectured: "My guess is that he [Gödel] wished to avoid a discussion...

Following an initial observation of Robert Solovay, Scott formulated the concept of Boolean-valued model, as Solovay and Petr Vopěnka did likewise at around...