Około roku
1965
, Robert Solovay i Stanley Tennenbaum rozwinęli metodę
forsingu
wprowadzając forsing iterowany, aby udowodnić niezależność
hipotezy Suslina[1]. We współczesnej terminologii metoda wprowadzona przez Solovaya i Tennenbauma to forsing iterowany z nośnikami skończonymi.
ZF + każdy podzbiór prostej jest mierzalny w sensie Lebesgue'a i ma własność Baire'a[2]
też jest niesprzeczna.
Solovay razem z
niemieckim
matematykiem Volkerem Strassenem podali tzw. test Solovaya-Strassena na bycie liczbą pierwszą. 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
pierwsza[3].
Bibliografia
↑ Solovay, R. M.; Tennenbaum, S.: Iterated Cohen extensions and Souslin's problem. "Ann. of Math." (2) 94 (1971), s. 201-245.
↑ Solovay, Robert M.: A model of set-theory in which every set of reals is Lebesgue measurable. "Ann. of Math." 92 (1970), s. 1-56
↑ Solovay, Robert M. i Volker Strassen: A fast Monte-Carlo test for primality. "SIAM Journal on Computing" 6 (1977), s. 84-85.
Inne hasła zawierające informacje o "Robert M. Solovay":
Najmniejsze państwo na świecie to Sealandia – znajduje się na Morzu Północnym, na dawnej betonowej platformie przeciwlotniczej. Jego wymiary to: 40 x 140 m.
Księstwo Sealandii posiada własną konstytucję, flagę, godło i hymn państwowy. Emitowana jest również własna waluta, dolar sealandzki, który jest sztywno związany z dolarem amerykańskim w stosunku 1:1.