Ten artykuł od 2016-11 wymaga zweryfikowania podanych informacji.
Należy podać wiarygodne źródła w formie przypisów bibliograficznych. Część lub nawet wszystkie informacje w artykule mogą być nieprawdziwe. Jako pozbawione źródeł mogą zostać zakwestionowane i usunięte. Sprawdź w źródłach:
Encyklopedia PWN • Google Books • Google Scholar • Federacja Bibliotek Cyfrowych • BazHum • RCIN • Internet Archive (texts / inlibrary) Dokładniejsze informacje o tym, co należy poprawić, być może znajdują się w dyskusji tego artykułu. Po wyeliminowaniu niedoskonałości należy usunąć szablon {{Dopracować}} z tego artykułu.
zrewolucjonizowanie metody iterowanego forsingu przez wprowadzenie nowych własności pojęć forsingu (np. forsingów proper) i udowodnienie dużej liczby twierdzeń o zachowywaniu tych własności oraz wprowadzenie aksjomatu PFA,
teoria PCF, która pokazała, że pomimo nierozstrzygalności znacznej ilości kwestii w arytmetyce liczb kardynalnych (między innymi CH), wciąż można udowodnić wiele nietrywialnych konsekwencji ZFC,
w teorii modeli: rozwój teorii klasyfikacji oraz hierarchii stabilności.
Izraelski naukowiec rozwiązał szereg znanych problemów, także w innych dziedzinach matematyki, na przykład:
skonstruował grupęmocy która nie ma właściwych podgrup tej samej mocy,
udowodnił, że problem Whiteheada jest nierozstrzygalny w ZFC,
Saharon Szelach jest jednym z najbardziej płodnych współczesnych matematyków teoretycznych. W kwietniu 2016 roku lista jego publikacji zawierała około 1080 artykułów naukowych, wiele z nich napisanych wspólnie z innymi matematykami. (Wśród mniej więcej 220 współautorów Szelacha znajduje się 14 matematyków urodzonych i wykształconych w Polsce.) Jest on autorem następujących monografii:
Classification theory and the number of nonisomorphic models, North-Holland, 1978,
Classification theory and the number of nonisomorphic models, North-Holland, wydanie drugie, 1990,
Proper forcing, Springer, 1982,
Around classification theory of models, Springer, 1986,