Saharon Shelah

from Wikipedia, the free encyclopedia

Saharon Shelah ( Hebrew שהרן שלח; *  July 3, 1945 in Jerusalem ) is an Israeli mathematician . He is a professor at the Hebrew University in Jerusalem and at Rutgers University in New Jersey , USA . Shelah works in the field of mathematical logic , in particular in model theory and set theory .

Shelah in his office at Rutgers University, 2005

Shelah is the son of the Israeli poet and political activist Yonatan Ratosh (1908–1981). He studied in Tel Aviv from 1962 to 1964 and from 1965 to 1967 at the Hebrew University in Jerusalem, where he received his doctorate in 1969 under Michael O. Rabin . He did research and then taught at the Hebrew University, where he became a professor in 1974.

Shelah has published over 1,100 mathematical papers, around 500 of them with a total of 200 co-authors (as of 2015).

In 1977 he received the first Erdős Prize , the Israel Prize in 1998 , the Bolyai Prize in 2000 and the Wolf Prize for Mathematics in 2001 . In 1983 he received the Karp Prize . In 1986 he gave a plenary lecture at the International Congress of Mathematicians (ICM) in Berkeley ( Taxonomy of Universal and other Classes ) and in 1974 was invited speaker at the ICM in Vancouver ( Why there are many nonisomorphic models of unsuperstable theories ). In 1991 he was elected to the American Academy of Arts and Sciences . Has been a full member of the Academia Europaea since 2012 . In the same year he gave a plenary lecture at the European Congress of Mathematicians (ECM) in Krakow ( Classifying classes of structures in model theory ). For 2013 he was awarded the Leroy P. Steele Prize for his book Classification theory and the number of nonisomorphic models . In 2017 he and Maryanthe Malliaris received the Hausdorff Medal of the European Set Theory Society at the European Set Theory Conference in Budapest . In 2018 he received the Rolf Schock Prize for Logic and Philosophy, in recognition of his "outstanding contributions in mathematical logic". In 2019 he was awarded an honorary doctorate from the Technical University of Vienna .

In the laudation for the Wolf Prize, his internationally leading role in the fundamentals of mathematics and mathematical logic was highlighted and the justification of new theories in set theory, such as “proper forcing ”. His pcf theory ("Theory of Possible Cofinalities") represents a remarkable refinement of the concept of cardinality , which has made it possible to prove a whole series of new results in an area that was previously dominated by independence results. In model theory , he pursued an influential program called “stability theory”, which aims to classify models of a theory. The stability theory goes back to the work of Michael D. Morley (1965) and Shelah (1969). His investigations have also found many applications outside of the actual basic research in mathematics (e.g. combinatorics, Banach spaces, measure theory, group theory, topology).

In 1988, with Matthew Foreman and Menachem Magidor , he introduced Martin's Maximum , a strong forcing axiom that generalizes Martin's axiom .

Fonts

  • Proper forcing , Springer 1982
  • Proper and improper forcing , 2nd edition, Springer 1998
  • Around classification theory of models , Springer 1986
  • Classification theory and the number of nonisomorphic models , Studies in Logic and the Foundations of Mathematics, 1978, 2nd edition 1990, Elsevier
  • Cardinal Arithmetic , Oxford University Press 1994

Web links

Commons : Saharon Shelah  - Collection of images, videos and audio files

Individual evidence

  1. ^ Membership directory: Saharon Shelah. Academia Europaea, accessed October 1, 2017 .
  2. Press release of the Swedish Academy of Sciences (English)
  3. Press release of the TU Vienna , December 2019
  4. Laudation for the 2001 Wolf Prize
  5. ^ Shelah Stable theories , Israel J. Math., Vol. 7, 1969, pp. 187-202
  6. Foreman, Magidor, Shelah Martin's maximum, saturated ideals, and nonregular ultrafilters. I. , Annals of Mathematics, Volume 127, 1988, pp. 1-47