Robert M. Solovay: Różnice pomiędzy wersjami

[wersja przejrzana][wersja przejrzana]
Usunięta treść Dodana treść
KLBot2 (dyskusja | edycje)
m Bot: Przenoszę linki interwiki (1) do Wikidata, są teraz dostępne do edycji na d:Q1395607
Linia 6:
== Ważniejsze osiągnięcia ==
* Około roku [[1965]], Robert Solovay i [[Stanley Tennenbaum]] rozwinęli metodę [[forsing]]u wprowadzając forsing iterowany, aby udowodnić niezależność [[hipoteza Suslina|hipotezy Suslina]]<ref>Solovay, Robert M.; Tennenbaum, S.: ''Iterated Cohen extensions and Souslin's problem.'' "Ann. of Math." (2) 94 (1971), s. 201-245.</ref>. We współczesnej terminologii metoda wprowadzona przez Solovaya i Tennenbauma to ''forsing iterowany z nośnikami skończonymi''.
* W [[1970]], Solovay udowodnił, że zakładając niesprzeczność istnienia [[liczba nieosiągalna|liczby nieosiągalnej]], istnieje model teorii mnogości, tzw. [[model Solovaya]], w którym wszystkie [[zbiór rzutowy|rzutowe]] podzbiory [[liczby rzeczywiste|prostej]] są [[miara Lebesgue'a|mierzalne w sensie Lebesgue'a]] i mają [[własność Baire'a]]. 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'a''<ref>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</ref>
: też jest niesprzeczna.