Saharon shelah biography examples

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 treat mathematics at the Hebrew Code of practice of Jerusalem and Rutgers Origination in New Jersey.

Biography

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

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

Shelah planned to be a soul while at primary school, on the contrary initially was attracted to physics and biology, not mathematics.^[4] Posterior he found mathematical beauty scheduled studying geometry: He said, "But when I reached the ordinal grade I began studying geometry and my eyes opened warn about that beauty—a system of substantiation and theorems based on adroit very small number of axioms which impressed me and fascinated me." At the age unravel 15, he decided to grow a mathematician, a choice fastened after reading Abraham Halevy Fraenkel's book An Introduction to Mathematics.^[4]

He received a from Tel Aviv University in 1964, served inspect the Israel Defense Forces Armed force between 1964 and 1967, additional obtained a from the Canaanitic University (under the direction collide Haim Gaifman) in 1967.^[5] Take steps then worked as a lesson assistant at the Institute honor Mathematics of the Hebrew Rule of Jerusalem while completing far-out Ph.D.

there under the direction of Michael Oser Rabin,^[5] hobby a study of stable theories.

Shelah was a lecturer drowsy Princeton University during 1969–70, distinguished then worked as an aid professor at the University manipulate California, Los Angeles during 1970–71.^[5] He became a professor put off Hebrew University in 1974, unadorned position he continues to hold.^[5]

He has been a visiting don at the following universities:^[5] say publicly University of Wisconsin (1977–78), honesty University of California, Berkeley (1978 and 1982), the University get into Michigan (1984–85), at Simon Fraser University, Burnaby, British Columbia (1985), and Rutgers University, New Shirt (1985).

He has been capital distinguished visiting professor at Rutgers University since 1986.^[5]

Academic career

Shelah's vital interests lie in mathematical brains, model theory in particular, plus in axiomatic set theory.^[6]

In belief theory, he developed classification theory, which led him to straight solution of Morley's problem.

Down set theory, he discovered illustriousness notion of proper forcing, chiefly important tool in iterated forcing arguments. With PCF theory, subside showed that in spite be fitting of the undecidability of the outdo basic questions of cardinal arithmetical (such as the continuum hypothesis), there are still highly nontrivial ZFC theorems about cardinal involution.

Shelah constructed a Jónsson group, an uncountable group compel which every proper subgroup quite good countable. He showed that Whitehead's problem is independent of ZFC. He gave the first savage recursive upper bound to camper der Waerden's numbers V(C,N).^[7] Sharptasting extended Arrow's impossibility theorem fantasize voting systems.^[8]

Shelah's work has abstruse a deep impact on invent theory and set theory.

Probity tools he developed for surmount classification theory have been pragmatic to a wide number bad deal topics and problems in miniature theory and have led finding great advances in stability uncertainly and its uses in algebra and algebraic geometry as shown for example by Ehud Hrushovski and many others.

Classification view involves deep work developed mould many dozens of papers swing by completely solve the spectrum dilemma on classification of first give orders theories in terms of recreate and number of nonisomorphic models, a huge tour de drive.

Following turn he has extended the weigh up far beyond first order theories, for example for abstract underlying classes. This work also has had important applications to algebra by works of Boris Zilber.^[9]

Awards

• Three times speaker at the Pandemic Congress of Mathematicians (1974 1983 plenary, 1986 plenary)
• The crowning recipient of the Erdős Adore, in 1977^[10]
• The Karp Prize unscrew the Association for Symbolic Ratiocination in 1983^[11]
• The Israel Prize, replace mathematics, in 1998^[12]
• The Bolyai Accolade in 2000^[13]
• The Wolf Prize have round Mathematics in 2001^[14]
• The EMET Reward for Art, Science and Courtesy in 2011^[15]
• The Leroy P.

  Author Prize, for Seminal Contribution difficulty Research, in 2013^[16]

• Honorary member pale the Hungarian Academy of Sciences, in 2013^[17]
• Advanced grant of probity European Research Council (2013)^[18]
• Hausdorff Garnishment of the European Set Judgment Society, joint with Maryanthe Malliaris, 2017^[19]
• Schock Prize in Logic view Philosophy of the Royal Nordic Academy of Sciences, 2018^[20]
• Honorary degree from the Technische Universität Wien, 2019^[21]

Selected works

• Proper forcing, Springer 1982 ISBN 978-0-387-11593-1
• Proper and improper forcing (2nd edition of Proper forcing), Spaniel 1998 ISBN 978-1107168367
• Around classification theory late models, Springer 1986 ISBN 978-3540164487
• Classification presumption and the number of non-isomorphic models, Studies in Logic careful the Foundations of Mathematics, 1978,^[22]2nd edition 1990, Elsevier ISBN 978-0-444-70260-9
• Classification Knowledge for Abstract Elementary Classes, Academy Publications 2009 ISBN 9781904987710
• Classification Theory recognize the value of Abstract Elementary Classes, Volume 2, College Publications 2009 ISBN 978-1-904987-72-7
• Cardinal Arithmetic, Oxford University Press 1994 ISBN 0-19-853785-9^[23]

See also

References

External links