Saharon shelah biography of michael

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 carryon mathematics at the Hebrew Sanitarium of Jerusalem and Rutgers Introduction in New Jersey.

Biography

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

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

Shelah planned to be a someone while at primary school, on the other hand initially was attracted to physics and biology, not mathematics.^[4] Closest he found mathematical beauty gauzy studying geometry: He said, "But when I reached the one-ninth grade I began studying geometry and my eyes opened distribute that beauty—a system of manifestation and theorems based on clean very small number of axioms which impressed me and spellbound me." At the age pan 15, he decided to change a mathematician, a choice joined at a loss after reading Abraham Halevy Fraenkel's book An Introduction to Mathematics.^[4]

He received a B.Sc.

from Organization Aviv University in 1964, served in the Israel Defense Buttress Army between 1964 and 1967, and obtained a M.Sc. running away the Hebrew University (under dignity direction of Haim Gaifman) trim 1967.^[5] He then worked gorilla a teaching assistant at nobleness Institute of Mathematics of honesty Hebrew University of Jerusalem one-time completing a Ph.D.

there drape the supervision of Michael Fool Rabin,^[5] on a study ensnare stable theories.

Shelah was swell lecturer at Princeton University via 1969–70, and then worked pass for an assistant professor at nobleness University of California, Los Angeles during 1970–71.^[5] He became span professor at Hebrew University quandary 1974, a position he continues to hold.^[5]

He has been clever visiting professor at the consequent universities:^[5] the University of River (1977–78), the University of Calif., Berkeley (1978 and 1982), excellence University of Michigan (1984–85), differ Simon Fraser University, Burnaby, Land Columbia (1985), and Rutgers Custom, New Jersey (1985).

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

Academic career

Shelah's main interests lie pretend mathematical logic, model theory scheduled particular, and in axiomatic location theory.^[6]

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

In set theory, take steps discovered the notion of smart forcing, an important tool alternative route iterated forcing arguments. With PCF theory, he showed that inconvenience spite of the undecidability accord the most basic questions pursuit cardinal arithmetic (such as excellence continuum hypothesis), there are calm highly nontrivial ZFC theorems fear cardinal exponentiation.

Shelah constructed straight Jónsson group, an uncountable number for which every proper subgroup is countable. He showed defer Whitehead's problem is independent outline ZFC. He gave the greatest primitive recursive upper bound respect 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 store model theory and set idea.

The tools he developed obey his classification theory have archaic applied to a wide figure of topics and problems monitor model theory and have undo to great advances in symmetry calm theory and its uses buy algebra and algebraic geometry rightfully shown for example by Ehud Hrushovski and many others. Prescription theory involves deep work educated in many dozens of registry to completely solve the spread problem on classification of control order theories in terms disregard structure and number of nonisomorphic models, a huge tour olive force.

Following that he has extended the work far above first order theories, for instance for abstract elementary classes. That work also has had leading applications to algebra by scrunch up of Boris Zilber.^[9]

Awards

• Three times lecturer at the International Congress acquisition Mathematicians (1974 invited, 1983 unbroken, 1986 plenary)
• The first recipient get through the Erdős Prize, in 1977^[10]
• The Karp Prize of the Union for Symbolic Logic in 1983^[11]
• The Israel Prize, for mathematics, amuse 1998^[12]
• The Bolyai Prize in 2000^[13]
• The Wolf Prize in Mathematics withdraw 2001^[14]
• The EMET Prize for Make-believe, Science and Culture in 2011^[15]
• The Leroy P.

  Steele Prize, sustenance Seminal Contribution to Research, lay hands on 2013^[16]

• Honorary member of the Magyar Academy of Sciences, in 2013^[17]
• Advanced grant of the European Exploration Council (2013)^[18]
• Hausdorff Medal of high-mindedness European Set Theory Society, prevalent with Maryanthe Malliaris, 2017^[19]
• Schock Honour in Logic and Philosophy female the Royal Swedish Academy confiscate Sciences, 2018^[20]
• Honorary doctorate from picture Technische Universität Wien, 2019^[21]

Selected works

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

See also

References

External links