BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 33, Number 3, July 1996

Cardinal arithmetic, by Saharon Shelah, Oxford Logic Guides, vol. 29, Oxford Univ. Press, London and New York, 1994, xxxi + 481 pp., $105.00, ISBN 0-19- 853785-9

Set theory has made tremendous progress in the last 75 years, but much of it has been outside the boundaries of the usual axioms, the Zermelo-Fraenkel axioms with the Axiom of Choice, or ZFC. A lot has been connected with the continuum 0 problem, i.e., the question whether 2ℵ = 1. This was attacked by both Cantor and Hilbert and was mentioned as Problemℵ 1 on Hilbert’s famous problem list. Ultimately the continuum problem was shown to be undecidable in ZFC with quite different methods. G¨odel developed the theory of constructible sets, which has metamorphosed into the study of inner models of ZFC (in which additional axioms are usually critical), and Cohen developed the famous theory of forcing and generic sets, an elegant combinatorial way to determine when a proposition is consistent with ZFC (and only indirectly whether a proposition follows from ZFC, in which case a direct proof usually needs to be supplied). Both these approaches continue unabated nowadays, and both necessarily involve studying propositions presumably consistent with ZFC, like the existence of various sorts of large cardinals. It sometimes seems that the role of set theory as the study of the consequences of ZFC has been lost, or largely minimized. Just a few years ago, however, Saharon Shelah found an extensive, powerful, and very beautiful theory entirely within ZFC, utterly unsuspected by anyone. The book under review, Cardinal arithmetic, is in part an account of this theory. One approach to the theory is by way of cardinal exponentiation. Cohen showed 0 by forcing that 2ℵ could be any of a vast class of cardinals, and this was extended by Easton to show that the same is true with 0 replaced by any regular cardinal. ℵ But singular cardinals, like ω, are different. For a long time it was expected ℵ ω that new forcing techniques would be developed to show that 2ℵ could be large 0 in exactly the same way as 2ℵ , but Silver and Shelah showed otherwise. Silver showed that the Generalized Continuum Hypothesis cannot fail for the first time at a singular cardinal like ω , and Shelah showed that the same sorts of restrictions ℵ 1 apply to cardinals of countable cofinality (like ω) as well. More recently, Shelah has discovered that theℵ wrong sorts of questions were being ω 0 asked. What is more important to compute than 2ℵ is ωℵ and other quantities. 0 0 ℵ For example, ω ℵ is the product of 2ℵ and the minimal cardinality of a cofinal ℵ 0 subset of ( X ω : X = 0 , ). Now 2ℵ can vary wildly, but absolute upper { ⊆ℵ | | ℵ } ⊆ bounds can be put on cf( X ω : X = 0 , ) within ZFC itself. One of the most spectacular{ ⊆ℵ applications| | ℵ } of⊆ the theory is the fact (proved in n ω ZFC!) that if ω is a strong limit cardinal (i.e., 2ℵ < ω for all n), then 2ℵ < ω4 . This explainsℵ why 2 of Chapter IX is entitled “Whyℵ the HELL Is It Four?” ℵ In general, given§ a set A of regular cardinals, the important set to study is A, andevenwhatiscalled A/D,whereDis an ultrafilter on A. This consists of Q 1991 Mathematics SubjectQ Classification. Primary 04-02; Secondary 04A05, 04A10, 04A20, 03E05, 03E10, 03E30.

c 1996 American Mathematical Society

409

License or copyright restrictions may apply to redistribution; see https://www.ams.org/journal-terms-of-use 410 BOOK REVIEWS

all functions f on A such that f(a)

License or copyright restrictions may apply to redistribution; see https://www.ams.org/journal-terms-of-use BOOK REVIEWS 411

References

1. M. R. Burke and M. Magidor, Shelah’s pcf theory and its applications, Annals Pure Appl. Logic 50(1990), 207–254. MR 92f:03053 ω 2. T. Jech, Singular cardinal problem: Shelah’s theorem on 2ℵ , Bull. London Math. Soc. 24(1992), 127–139. MR 93a:03050 James E. Baumgartner Dartmouth College E-mail address: [email protected]

License or copyright restrictions may apply to redistribution; see https://www.ams.org/journal-terms-of-use