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... 5 KB (526 words) - 13:15, 21 April 2024 |
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... 8 KB (1,060 words) - 20:44, 11 March 2024 |
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... 10 KB (1,500 words) - 03:30, 29 February 2024 |
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... 19 KB (2,641 words) - 20:50, 1 September 2023 |
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... 8 KB (1,322 words) - 21:08, 28 December 2023 |
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... 19 KB (2,358 words) - 09:51, 27 March 2024 |
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... 97 KB (15,521 words) - 03:54, 3 March 2024 |