サハロン・シェラハ
モデル論における分類理論 (classification theory) の導入 [2] および、それにともなうモーリー問題の解決。
公理的集合論における固有強制法 (proper forcing) の導入 [4, 5] および、pcf理論の構築 [6]。
ホワイトヘッド問題に関する貢献 [1, 3]。