Następnie udowodnił, że przy tym samym założeniu teoria ZF + każdy podzbiór prostej jest mierzalny w sensie Lebesgue’a i ma własność Baire’aSolovay, Robert M.: A model of set-theory in which every set of reals is Lebesgue measurable. „Ann. of Math.” 92 (1970), s. 1-56 też jest niesprzeczna. Solovay razem z niemieckim matematykiem Volkerem Strassenem podali tzw. test Solovaya-Strassena na bycie liczbą pierwszą (inna nazwa: test pierwszości Solovaya-Strassena). Była to jedna z pierwszych efektywnych metod ustalania z dużym prawdopodobieństwem że dana (w założeniu bardzo duża) liczba naturalna jest pierwszaSolovay, Robert M. i Volker Strassen: A fast Monte-Carlo test for primality. „SIAM Journal on Computing” 6 (1977), s. 84-85..
Przypisy
Kategoria:Amerykańscy matematycy XX wieku Kategoria:Amerykańscy matematycy XXI wieku Kategoria:Członkowie Amerykańskiej Akademii Sztuk i Nauk