Quelltext der Seite Saharon Shelah

[[Datei:Saharon Shelah.jpg|mini|Shelah in seinem Büro an der Rutgers-Universität, 2005]]
'''Saharon Shelah''' ({{heS|שהרן שלח&lrm;}}; *&nbsp;[[3. Juli]] [[1945]] in [[Jerusalem]]) ist ein [[israel]]ischer [[Mathematik]]er. Er ist [[Professor]] an der [[Hebrew University|Hebräischen Universität]] in Jerusalem sowie an der [[Rutgers University]] in [[New Jersey]], [[USA]]. Shelah arbeitet auf dem Gebiet der [[Mathematische Logik|mathematischen Logik]], insbesondere in [[Modelltheorie]] und [[Mengenlehre]].

== Leben ==
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 [[Internationaler Mathematikerkongress|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]].<ref>{{Internetquelle |url=http://www.ae-info.org/ae/Member/Shelah_Saharon |titel=Mitgliederverzeichnis: Saharon Shelah |hrsg=Academia Europaea |sprache=en |abruf=2017-10-01}}</ref> Im selben Jahr hielt er einen Plenarvortrag auf dem [[Europäischer Mathematikerkongress|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“.<ref>[http://www.kva.se/en/pressroom/pressmeddelanden/en-matematiker-en-logiker-en-solist-och-en-italiensk-avantgardist-tilldelas-rolf-schockprisen-2018 Presseaussendung der Schwedischen Akademie der Wissenschaften (englisch)]</ref>  2019 wurde ihm ein [[Ehrendoktor]]at der [[Technische Universität Wien|Technischen Universität Wien]] verliehen.<ref>[https://www.tuwien.at/tu-wien/aktuelles/news/news/ehrendoktorat-der-tu-wien-fuer-saharon-shelah/ Presseaussendung der TU Wien], Dezember 2019.</ref>

In der Laudatio für den Wolf-Preis<ref>[http://www.wolffund.org.il/index.php?dir=site&page=winners&cs=165 Laudatio auf den Wolf-Preis 2001]</ref> 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ät (Mathematik)|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.<ref>Shelah: ''Stable theories.'' In: ''Israel Journal of Mathematics.'' Band 7, Nr. 3, 1969, S. 187–202, [[doi:10.1007/BF02787611]].</ref> Seine Untersuchungen haben auch außerhalb der eigentlichen Grundlagenforschung der Mathematik viele Anwendungen gefunden (z.&nbsp;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.<ref>[[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}}.</ref>

Mit [[Ron Aharoni]] und [[Crispin Nash-Williams]] erweiterte er den [[Heiratssatz]] von [[Philip Hall]] auf unendliche Graphen.<ref>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.</ref><ref>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.</ref><ref>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.</ref>

== Schriften ==
* ''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.

== Weblinks ==
{{Commonscat}}
* {{MacTutor|id=Shelah}}
* {{DNB-Portal|120062755}}
* {{MathGenealogyProject|id=22575}}
* [http://shelah.logic.at/ Archiv von Shelahs Arbeiten]

== Einzelnachweise ==
<references />

{{Navigationsleiste Träger des Wolf-Preises in Mathematik}}

{{Normdaten|TYP=p|GND=120062755|LCCN=n83217792|VIAF=101618567}}

{{SORTIERUNG:Shelah, Saharon}}
[[Kategorie:Mathematischer Logiker (20. Jahrhundert)]]
[[Kategorie:Hochschullehrer (Hebräische Universität Jerusalem)]]
[[Kategorie:Träger des Israel-Preises]]
[[Kategorie:EMET-Preisträger]]
[[Kategorie:Mitglied der Israelischen Akademie der Wissenschaften]]
[[Kategorie:Mitglied der American Academy of Arts and Sciences]]
[[Kategorie:Mitglied der Academia Europaea]]
[[Kategorie:Gödel Lecturer]]
[[Kategorie:Israeli]]
[[Kategorie:Geboren 1945]]
[[Kategorie:Mann]]

{{Personendaten
|NAME=Shelah, Saharon
|ALTERNATIVNAMEN=
|KURZBESCHREIBUNG=israelischer Mathematiker
|GEBURTSDATUM=3. Juli 1945
|GEBURTSORT=[[Jerusalem]]
|STERBEDATUM=
|STERBEORT=
}}