Saharon Shelah
Saharon Shelah (Hebrew שהרן שלח; born 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, especially in model theory and set theory.
He is the son of Israeli poet and political activist Yonatan Ratosh. He studied from 1962 to 1964 in Tel Aviv and from 1965 to 1967 at the Hebrew University in Jerusalem, where he received his doctorate in Michael O. Rabin in 1969. He then taught and he Hebrew University, where he became professor in 1974.
Shelah has published over 900 papers devoted about 500 of them with a total of 200 co-authors (as of 2009).
In 1977 he received the first Erdős Prize, the 1998 Israel Prize, in 2000 the Bolyai Prize in 2001 and the Wolf Prize in Mathematics. 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 1974 was invited speaker at the ICM in Vancouver ( Why there are many nonisomorphic models of unsuperstable theories ). For 2013, the Leroy P. Steele Prize him was awarded for his book Classification theory and the number of nonisomorphic models.
In the eulogy for the Wolf Prize in its leading international role was highlighted in the foundations of mathematics and in mathematical logic and the establishment of new theories in set theory, such as "proper forcing". His pcf theory ( " theory of possible Kofinalitäten " ) is a remarkable refinement of Kardinalitätsbegriffs that has enabled the proof of a number of new results in an area that was dominated until then by independence results. In the model theory he pursued an influential program of " stability theory ", which has the classification of models of a theory to the destination. The stability theory goes back to works by Michael Morley (1965) and Shelah (1969). His studies have also found outside the actual basic research in mathematics, many applications (eg, combinatorics, Banach spaces, measure theory, group theory, topology).
With Matthew Foreman and Menachem Magidor, he led a 1988 Martin's maximum, a strong forcing axiom that Martin's Axiom generalized.
In 2012 he gave a plenary lecture at the European Congress of Mathematicians (ECM ) in Krakow ( Classifying classes of structures in model theory ).
Writings
- Proper forcing, Springer 1982
- Proper and improper forcing, 2nd edition, Springer 1988
- 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