While 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 of 15, I knew my desire was to be a mathematician.

... 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 ...

The award winner Saharon Shelah is a phenomenal mathematician, pre-eminent both in model theory and set theory. His work, beginning in the early 1970'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 over 700 items 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 in 1985 he singled out Shelah among all mathematicians for praise.

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 late 1980'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 the 1960'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 ($\aleph _{\omega}$), then the number of countable subsets of a set of this cardinality can be estimated without extra set-theoretical hypotheses ($\aleph _{\omega}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.

... for his many fundamental contributions to mathematical logic and set theory and their applications within other parts of mathematics.

Saharon Shelah has for many years been the leading mathematician in the foundations of mathematics and mathematical logic. His staggering output of 700 papers 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.

... [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.

Historically the development of "model theory for its own sake" focused on a certain invariant $I_{T}$. This $I_{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 invariants $I_{T}$ was posed in the late 1960s by Saharon Shelah and solved in the early 1980s by him. The solution appears in the second edition of his book 'Classification Theory and the Number of Non-isomorphic Models' (1990).

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 late 1970'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.

Saharon Shelah is a phenomenal mathematician, pre-eminent in both model theory and set theory. His work, beginning in the early 1970'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.