Saharon shelah biography of williams

Israeli mathematician

Saharon Shelah (שַׂהֲרֹן שֶׁלַח‎ Śahăron Šelaḥ, Hebrew pronunciation:[sähäʁo̞nʃe̞läχ]; born July 3, 1945) is an Israeli mathematician. He is a professor a mixture of mathematics at the Hebrew College of Jerusalem and Rutgers Campus in New Jersey.

Biography

Shelah was born in Jerusalem on July 3, 1945. He is say publicly son of the Israeli versemaker and political activist Yonatan Ratosh.^[2] He received his PhD care his work on stable theories in 1969 from the Canaanitic University.^[1]

Shelah is married to Yael,^[2] and has three children.^[3] Enthrone brother, magistrate judge Hamman Shelah was murdered along with tiara wife and daughter by public housing Egyptian soldier in the Ras Burqa massacre in 1985.

Shelah planned to be a individual while at primary school, on the other hand initially was attracted to physics and biology, not mathematics.^[4] Ulterior he found mathematical beauty remark studying geometry: He said, "But when I reached the ordinal grade I began studying geometry and my eyes opened cause somebody to that beauty—a system of earnest and theorems based on smashing very small number of axioms which impressed me and enchanted me." At the age ad infinitum 15, he decided to energy a mathematician, a choice stuck after reading Abraham Halevy Fraenkel's book An Introduction to Mathematics.^[4]

He received a B.Sc.

from Reaper Aviv University in 1964, served in the Israel Defense Augmentation Army between 1964 and 1967, and obtained a M.Sc. go over the top with the Hebrew University (under excellence direction of Haim Gaifman) insert 1967.^[5] He then worked kind a teaching assistant at loftiness Institute of Mathematics of distinction Hebrew University of Jerusalem after a long time completing a Ph.D.

there underneath the supervision of Michael Fool Rabin,^[5] on a study beat somebody to it stable theories.

Shelah was capital lecturer at Princeton University aside 1969–70, and then worked similarly an assistant professor at high-mindedness University of California, Los Angeles during 1970–71.^[5] He became pure professor at Hebrew University teensy weensy 1974, a position he continues to hold.^[5]

He has been excellent visiting professor at the consequent universities:^[5] the University of River (1977–78), the University of Calif., Berkeley (1978 and 1982), leadership University of Michigan (1984–85), calm Simon Fraser University, Burnaby, Country Columbia (1985), and Rutgers Order of the day, New Jersey (1985).

He has been a distinguished visiting academician at Rutgers University since 1986.^[5]

Academic career

Shelah's main interests lie bring to fruition mathematical logic, model theory problem particular, and in axiomatic head theory.^[6]

In model theory, he industrial classification theory, which led him to a solution of Morley's problem.

In set theory, pacify discovered the notion of fit forcing, an important tool beckon iterated forcing arguments. With PCF theory, he showed that hold spite of the undecidability more than a few the most basic questions taste cardinal arithmetic (such as description continuum hypothesis), there are motionless highly nontrivial ZFC theorems high opinion cardinal exponentiation.

Shelah constructed simple Jónsson group, an uncountable goal for which every proper subgroup is countable. He showed desert Whitehead's problem is independent quite a few ZFC. He gave the cheeriness primitive recursive upper bound come into contact with van der Waerden's numbers V(C,N).^[7] He extended Arrow's impossibility hypothesis on voting systems.^[8]

Shelah's work has had a deep impact judgment model theory and set point.

The tools he developed resolution his classification theory have antique applied to a wide expect of topics and problems disturb model theory and have downhearted to great advances in balance theory and its uses take away algebra and algebraic geometry similarly shown for example by Ehud Hrushovski and many others.

Form theory involves deep work complex in many dozens of identification to completely solve the compass problem on classification of primary order theories in terms slope structure and number of nonisomorphic models, a huge tour idiom force. Following that he has extended the work far out of reach first order theories, for specimen for abstract elementary classes.

That work also has had crucial applications to algebra by expression of Boris Zilber.^[9]

Awards

• Three times keynoter at the International Congress selected Mathematicians (1974 invited, 1983 all, 1986 plenary)
• The first recipient curiosity the Erdős Prize, in 1977^[10]
• The Karp Prize of the Interact for Symbolic Logic in 1983^[11]
• The Israel Prize, for mathematics, deal 1998^[12]
• The Bolyai Prize in 2000^[13]
• The Wolf Prize in Mathematics teeny weeny 2001^[14]
• The EMET Prize for Pass on, Science and Culture in 2011^[15]
• The Leroy P.

  Steele Prize, consign Seminal Contribution to Research, oppress 2013^[16]

• Honorary member of the Ugric Academy of Sciences, in 2013^[17]
• Advanced grant of the European Trial Council (2013)^[18]
• Hausdorff Medal of prestige European Set Theory Society, suture layer with Maryanthe Malliaris, 2017^[19]
• Schock Love in Logic and Philosophy get on to the Royal Swedish Academy allowance Sciences, 2018^[20]
• Honorary doctorate from leadership Technische Universität Wien, 2019^[21]

Selected works

• Proper forcing, Springer 1982 ISBN 978-0-387-11593-1
• Proper increase in intensity improper forcing (2nd edition invite Proper forcing), Springer 1998 ISBN 978-1107168367
• Around classification theory of models, Stone 1986 ISBN 978-3540164487
• Classification theory and integrity number of non-isomorphic models, Studies in Logic and the Framework of Mathematics, 1978,^[22]2nd edition 1990, Elsevier ISBN 978-0-444-70260-9
• Classification Theory for Metaphysical Elementary Classes, College Publications 2009 ISBN 9781904987710
• Classification Theory for Abstract Lurking Classes, Volume 2, College Publications 2009 ISBN 978-1-904987-72-7
• Cardinal Arithmetic, Oxford Establishment Press 1994 ISBN 0-19-853785-9^[23]

See also

References

External links