**Saharon Shelah**'s father was the Israeli poet Uriel Shelach who was born in Warsaw in 1908. Uriel Shelach was given the name Uriel Heilperin when he was born. He emigrated to Palestine in 1921 and studied at the Hebrew University of Jerusalem in the late 1920s. He was a writer who joined the Revisionist Zionist movement, later writing poetry under the pseudonym of Yonatan Ratosh. His son Saharon, however, knew from a young age that he wanted to follow a scientific rather than a literary career [5]:-

Shelah attended Tel Aviv University and was awarded his B.Sc. in 1964. He continued to study at Tel Aviv while serving in the Israel Defence Forces Army between 1964 and 1967. He received an M.Sc. from Tel Aviv in 1967 then went to the Institute of Mathematics of the Hebrew University of Jerusalem where he was appointed as a Teaching Assistant and undertook research supervised by Michael Oser Rabin. Shelah was awarded a Ph.D. in 1969 for his work on stable theories. He extended ideas in model theory introduced by Michael Morley in his Ph.D. thesisWhile I was still in primary school, I knew I wanted to become a scientist, but as Mathematics was taught, it did not attract me especially. I was very interested, on the other hand, in Physics and Biology and I read popular scientific books. But when I reached the ninth grade I began studying geometry and my eyes opened to that beauty - a system of demonstrations and theorems based on a very small number of axioms which impressed me and captivated me. On the other hand laboratories were not to my taste and vice versa. So, by the age of15, I knew my desire was to be a mathematician.

*Categoricity in power*in 1962. Shelah [1]:-

After completing his doctorate, Shelah spent the year 1969-70 as a Lecturer at Princeton University and the following year 1970-71 as an Assistant Professor at the University of California, Los Angeles. He then returned to the Hebrew University of Jerusalem where he became a professor in 1974 before being appointed to the A Robinson Chair for Mathematical Logic in 1978, a position he continues to hold. He was a Visiting Professor at the University of Wisconsin 1977-78, at the University of Californa, Berkeley in 1978 and again in 1982, in the Department of Electrical Engineering and Computer Science of the University of Michigan 1984-85, at Simon Fraser University, Burnaby, British Columbia 1985, and at Rutgers University, New Jersey in 1985. Since 1986 he has also been a Distinguished Visiting Professor at Rutgers University.... generalises many of the results of Morley's 'Categoricity in power' to first-order theories in an uncountable language. The key step in the transition from countable to uncountable languages is the isolation of those properties of a theory which depend upon a single formula ...

We look at Shelah's mathematical contributions by first recording the awards that he has received and we quote from the citations of these. In 1977, Shelah was awarded the Anna and Lajos Erdős Prize in Mathematics. It is a prize, honouring Paul Erdős's parents, given by the Israel Mathematical Union to Israeli mathematicians, preference being given to candidates up to the age of 40. Shelah was only 32 years old when he received the prize.** **Although not strictly speaking an award, let us note at this point the he was invited to give a plenary address at the International Congress of Mathematicians held in Berkeley, California, in August 1986. His lecture *Classifying general classes *was published in the conference proceedings in 1987 and a video of his talk was also released. He was also a plenary speaker at the British Mathematical Colloquium at Exeter in 1988 when he lectured on *Van der Waerden numbers*.

The Bolyai Prize Committee decided to award the 2000 Bolyai prize to Shelah for his monograph *Cardinal arithmetic* (1994). The citation first gives an overview of Shelah's contributions [4]:-

The citation continues by examining in more detail the work for which the award was made:-The award winner Saharon Shelah is a phenomenal mathematician, pre-eminent both in model theory and set theory. His work, beginning in the early1970's, has tremendously advanced both subjects, and even now, in his mid fifties, he is continuing to produce results at a furious pace. He has over700items in his bibliography, the majority of them long or substantial papers. The one other modern mathematician who sustained a comparable level of productivity on paper was Paul Erdős, and in an interview that appeared in1985he singled out Shelah among all mathematicians for praise.

In 1998 he received the Israel Prize, the most prestigious award made by the State of Israel and presented on the eve of Independence Day. The 2001 Wolf Prize in Mathematics was awarded to Shelah [2]:-The book "Cardinal Arithmetic" that is being awarded discusses only a specific, but very significant part of Shelah's work, the theory of pcf("possible cofinalities")and its applications. This theory, created by Shelah, became a major branch of set-theoretic research since the late1980's, illuminating many issues involving singular cardinals in combinatorial set theory and the theory of large cardinals. One of the features of the theory, emphasized by Shelah himself as well, is that it has led to a plethora of direct theorems of set theory, as opposed to relative consistency results. The advent of forcing and large cardinals in the1960's led to a continuing investigation through the next two decades of strong propositions independent of set theory and their consistency strength. What pcf theory did was to broaden set-theoretic research by infusing a complex of new direct theorems of set theory. A striking instance of Shelah's results on cardinal arithmetic is that:

If the continuum is smaller than the first singular cardinal(ℵ_{ω}), then the number of countable subsets of a set of this cardinality can be estimated without extra set-theoretical hypotheses(ℵ_{ω}4).

The proof of such a result was considered inconceivable to any expert before Shelah. The title of the book would suggest a detailed account of such results only, but the book also features a myriad of applications of pcf theory. One is tempted to use Bolyai's words: He has created a new world out of nothing.

The article [2] gives this appreciation of his contributions which led to the award of the prize:-... for his many fundamental contributions to mathematical logic and set theory and their applications within other parts of mathematics.

In the course of examining the awards made to Shelah we have given details of his famous bookSaharon Shelah has for many years been the leading mathematician in the foundations of mathematics and mathematical logic. His staggering output of700papers and half a dozen monographs includes the creation of several entirely new theories that changed the course of model theory and modern set theory and also provided the tools to settle old problems from many other branches of mathematics, including group theory, topology, measure theory, Banach spaces, and combinatorics. Shelah created a number of subfields of set theory, most notably the theory of proper forcing and the theory of possible cofinalities, which is a remarkable refinement of the notion of cardinality and which led to proofs of definite statements in areas previously considered far beyond the limits of undecidability. His work on set theoretic algebra and its applications showed that many parts of algebra involve phenomena that are not controlled by universally recognized axioms of set theory. In model theory he carried through a monumental program of deep structural analysis known as "stability theory", which now dominates a large part of the field.

*Cardinal Arithmetic*(1994). However, he has written many other outstanding texts and we now look briefly at these. In 1978 he published

*Classification theory and the number of nonisomorphic models*. Daniel Lascar writes:-

A second edition, which has been expanded by more than 150 pages and contains four new chapters, appeared in 1990. An important feature of this second edition is put in context in [7]:-...[a]feature of the book is its amazing richness: a wide range of methods is employed(combinatorial, algebraic, set-theoretic)and a profusion of ideas is displayed, leading to very deep structure theorems, and eventually to surprisingly precise results.

In 1982 Shelah published his now classic textHistorically the development of "model theory for its own sake" focused on a certain invariantI_{T}. ThisI_{T}is the function that associates to a cardinal k the number of models of T of cardinality k, up to isomorphism ... This may seem to be a rather strange invariant to consider, but it was quite natural, as set-theoretic language and concerns permeate logic. Moreover, there are many classical model-theoretic techniques for building models of theories and distinguishing them up to isomorphism. The problem of describing the possible invariantsI_{T}was posed in the late1960s by Saharon Shelah and solved in the early1980s by him. The solution appears in the second edition of his book 'Classification Theory and the Number of Non-isomorphic Models'(1990).

*Proper forcing*. A second edition of this famous text was published in 1998. A Kanamori writes about the second edition [3]:-

His next book,Saharon Shelah's proper forcing has become a staple part of the methods of modern set theory, with its applications powerful and wide-ranging and the development of its theory a fount of continuing research. Shelah came to proper forcing in the late1970's, and in a timely tract(the first edition of the present text)communicated the subject to an excited set theory community. The tract in fact went far beyond its title to bring together much of Shelah's work in set theory to that time, and the wealth of information and techniques therein greatly stimulated set-theoretic research in the ensuing years. Time passed, and with Shelah's inimitable English and expositional gaps having become legion and a steady stream of new results having been established, it became apparent that a mature, magisterial presentation of proper forcing in all of its aspects was needed. The book under review is the result, far larger in scope than even the original tract and most welcome as the authoritative exposition, the more so after several years of being held up because of word processing difficulties.

*Around classification theory of models*(1986), is a collection of 14 papers on model theory, set theory and generalized logics. A common feature of most of these papers is that they deal with the number of objects of a certain kind (models, ideals, etc). The prize-winning book

*Cardinal arithmetic*(1994) has already been mention above.

A Kanamori has given a beautiful description of the style of Shelah's mathematics and, around 1999, wrote the following [3]:-

Finally let us note that, in November 2009, MathSciNet listed the truly remarkable number of 867 publications for Shelah.Saharon Shelah is a phenomenal mathematician, pre-eminent in both model theory and set theory. His work, beginning in the early1970's, has tremendously advanced both subjects, and even now, in his fifties, he is going from strength to strength, continuing to produce results at a furious pace. ... In set theory Shelah is initially stimulated by specific problems. He typically makes a direct, frontal attack, bringing to bear extraordinary powers of concentration, a remarkable ability for sustained effort, an enormous arsenal of accumulated techniques, and a fine, quick memory. When he is successful on the larger problems, it is often as if a resilient, broad-based edifice has been erected, the traditional serial constraints loosened in favour of a wide, fluid flow of ideas and the final result almost incidental to the larger structure. What has been achieved is more than just a succinctly stated theorem but rather the establishment of a whole network of robust constructions and arguments. A telling point is that when some local flaw is pointed out to Shelah, he is usually able to come up quickly with another idea for crossing that bridge. Shelah's written accounts have acquired a certain notoriety that in large part has to do with his insistence that his edifices be regarded as autonomous mental constructions. Their life is to be captured in the most general forms, and this entails the introduction of many parameters. Often, the network of arguments is articulated by complicated combinatorial principles and transient hypotheses, and the forward directions of the flow are rendered as elaborate transfinite inductions carrying along many side conditions. The ostensible goal of the construction, the succinctly stated result that is to encapsulate it in memory, is often lost in a swirl of conclusions. This can make for difficult and frustrating reading, with the usual problem of presenting a mathematical argument in linear form exacerbated by the emphasis on the primacy of the construction itself and its overarching generality. Further difficulties ensue from the nature of the enterprise. Shelah regards the written word as necessary and central for capturing and fixing a construction, and so for him getting everything down on paper is of crucial importance. The tensions among the robustness of the construction, the variability of its possible renditions, and the need to convey it all in print are inevitably complicated by the speed with which he is able to establish new results. The papers have to be written quickly, previous constructions are newly refreshed and modified, and so a labyrinthian network may result over a series of related papers. In mathematics one often aspires to the most elegant or definitive treatment; in contrast, Shelah's work features a continuing, dynamic self-dialogue, one that pushes to the limits of exposition. Many may consider Shelah's work to be "technical", but as T S Eliot has written "We cannot say at what point 'technique' begins or where it ends"['The Sacred Wood']. While there is a particular drive to solve specific problems, Shelah with his generalizing approach is able to draw out larger, recurring patterns that lead to new techniques that soon get elevated to methods. One primary instance is the whole complex of approaches and results he developed under the general rubric of proper forcing. Shelah started out in model theory, developing an abstract classification theory for models which is a continuing research program for him and model theorists to this day. In the mid-1970's, in his first major body of results in set theory, Shelah resolved a long-standing problem in abelian group theory, Whitehead's problem, by establishing both the consistency and the independence of the corresponding proposition. It is through these beginnings, motivated by the set-theoretic problems that arose, that Shelah started to develop a general theory of iterated forcing for the continuum.

**Article by:** *J J O'Connor* and *E F Robertson*