Saharon Shelah (hebräisch שהרן שלח; * 3. Juli 1945 in Jerusalem) ist ein israelischer Mathematiker. Er ist Professor an der Hebräischen Universität in Jerusalem sowie an der Rutgers University in New Jersey, USA. Shelah arbeitet auf dem Gebiet der mathematischen Logik, insbesondere in Modelltheorie und Mengenlehre.

Shelah ist der Sohn des israelischen Dichters und politischen Aktivisten Yonatan Ratosh (1908–1981). Er studierte von 1962 bis 1964 in Tel Aviv und von 1965 bis 1967 an der Hebräischen Universität in Jerusalem, an der er 1969 bei Michael O. Rabin promovierte. Er forschte und lehrte danach an der Hebräischen Universität, an der er 1974 Professor wurde.

Shelah hat über 1,100 mathematische Arbeiten publiziert, etwa 500 davon mit insgesamt 200 Koautoren (Stand: 2015).

1977 erhielt er den ersten Erdős-Preis, 1998 den Israel-Preis, 2000 den Bolyai-Preis und 2001 den Wolf-Preis für Mathematik. 1983 erhielt er den Karp-Preis. 1986 hielt er einen Plenarvortrag auf dem Internationalen Mathematikerkongress (ICM) in Berkeley (Taxonomy of Universal and other Classes) und 1974 war Invited Speaker auf dem ICM in Vancouver (Why there are many nonisomorphic models of unsuperstable theories). 1991 wurde er in die American Academy of Arts and Sciences gewählt. Seit 2012 ist ordentliches Mitglied der Academia Europaea.^[1] Im selben Jahr hielt er einen Plenarvortrag auf dem Europäischen Mathematikerkongress (ECM) in Krakau (Classifying classes of structures in model theory). Für 2013 wurde ihm der Leroy P. Steele Prize für sein Buch Classification theory and the number of nonisomorphic models zugesprochen. 2017 erhielt er zusammen mit Maryanthe Malliaris bei der European Set Theory Conference in Budapest die Hausdorff-Medaille der European Set Theory Society. 2018 erhielt er den Rolf-Schock-Preis für Logik und Philosophie, in Anerkennung seiner „herausragenden Beiträge in der Mathematischen Logik“.^[2] 2019 wurde ihm ein Ehrendoktorat der Technischen Universität Wien verliehen.^[3]

In der Laudatio für den Wolf-Preis^[4] wurde seine international führende Rolle in den Grundlagen der Mathematik und in der mathematischen Logik hervorgehoben und die Begründung neuer Theorien in der Mengenlehre, wie „proper forcing“. Seine pcf-Theorie („Theorie möglicher Kofinalitäten“) stellt eine bemerkenswerte Verfeinerung des Kardinalitätsbegriffs dar, die den Beweis einer ganzen Reihe neuer Resultate in einem Gebiet ermöglicht hat, das bis dahin von Unabhängigkeitsresultaten dominiert war. In der Modelltheorie verfolgte er ein einflussreiches Programm der „Stabilitätstheorie“, das die Klassifizierung von Modellen einer Theorie zum Ziel hat. Die Stabilitätstheorie geht auf Arbeiten von Michael D. Morley (1965) und Shelah (1969) zurück.^[5] Seine Untersuchungen haben auch außerhalb der eigentlichen Grundlagenforschung der Mathematik viele Anwendungen gefunden (z. B. Kombinatorik, Banachräume, Maßtheorie, Gruppentheorie, Topologie).

Mit Matthew Foreman und Menachem Magidor führte er 1988 Martin´s Maximum ein, ein starkes Forcing-Axiom, das Martins Axiom verallgemeinert.^[6]

Mit Ron Aharoni und Crispin Nash-Williams erweiterte er den Heiratssatz von Philip Hall auf unendliche Graphen.^[7][8][9]

• Classification theory and the number of non-isomorphic models (= Studies in Logic and the Foundations of Mathematics. 92). North-Holland, Amsterdam u. a. 1978, ISBN 0-7204-0757-5 (Revised edition, 2nd edition. ebenda 1990, ISBN 0-444-70260-1).
• Proper forcing (= Lecture Notes in Mathematics. 940). Springer, Berlin u. a. 1982, ISBN 3-540-11593-5 (2. Auflage: Proper and improper forcing. ebenda 1998, ISBN 3-540-51700-6).
• Around classification theory of models (= Lecture Notes in Mathematics. 1182). Springer, Berlin u. a. Springer 1986, ISBN 3-540-16448-0.
• Cardinal Arithmetic (= Oxford Logic Guides. 29). Clarendon Press, Oxford 1994, ISBN 0-19-853785-9.

Commons: Saharon Shelah – Sammlung von Bildern, Videos und Audiodateien

• John J. O’Connor, Edmund F. Robertson: Saharon Shelah. In: MacTutor History of Mathematics archive (englisch).
• Literatur von und über Saharon Shelah im Katalog der Deutschen Nationalbibliothek
• Saharon Shelah im Mathematics Genealogy Project (englisch) Vorlage:MathGenealogyProject/Wartung/id verwendet
• Archiv von Shelahs Arbeiten

1. ↑ Mitgliederverzeichnis: Saharon Shelah. Academia Europaea, abgerufen am 1. Oktober 2017 (englisch). 
2. ↑ Presseaussendung der Schwedischen Akademie der Wissenschaften (englisch)
3. ↑ Presseaussendung der TU Wien, Dezember 2019.
4. ↑ Laudatio auf den Wolf-Preis 2001
5. ↑ Shelah: Stable theories. In: Israel Journal of Mathematics. Band 7, Nr. 3, 1969, S. 187–202, doi:10.1007/BF02787611.
6. ↑ Matthew Foreman, Menachem Magidor, S. Shelah: Martin’s Maximum, saturated ideals, and non regular ultrafilters. Part 1. In: Annals of Mathematics. Band 127, Nr. 1, 1988, S. 1–47, JSTOR:1971415; Part 2. Band 127, Nr. 3, 1988, S. 521–545, JSTOR:2007004.
7. ↑ R. Aharoni, C. S. J. A. Nash-Williams, S. Shelah, Marriage in infinite societies, in: Progress in Graph Theory (Waterloo, Ontario, 1982), Academic Press, Toronto, 1984, S. 71–79.
8. ↑ R. Aharoni, C. S. J. A. Nash-Williams, S. Shelah, A general criterion for the existence of transversals, Proceedings of the London Mathematical Society, Band 3, 1983, S. 43–68.
9. ↑ R. Aharoni, C. S. J. A. Nash-Williams, S. Shelah, Another Form of a Criterion for the Existence of Transversals, Journal of the London Mathematical Society, Band 2, 1984, S. 193–203.