# zbMATH — the first resource for mathematics

##### Examples
 Geometry Search for the term Geometry in any field. Queries are case-independent. Funct* Wildcard queries are specified by * (e.g. functions, functorial, etc.). Otherwise the search is exact. "Topological group" Phrases (multi-words) should be set in "straight quotation marks". au: Bourbaki & ti: Algebra Search for author and title. The and-operator & is default and can be omitted. Chebyshev | Tschebyscheff The or-operator | allows to search for Chebyshev or Tschebyscheff. "Quasi* map*" py: 1989 The resulting documents have publication year 1989. so: Eur* J* Mat* Soc* cc: 14 Search for publications in a particular source with a Mathematics Subject Classification code (cc) in 14. "Partial diff* eq*" ! elliptic The not-operator ! eliminates all results containing the word elliptic. dt: b & au: Hilbert The document type is set to books; alternatively: j for journal articles, a for book articles. py: 2000-2015 cc: (94A | 11T) Number ranges are accepted. Terms can be grouped within (parentheses). la: chinese Find documents in a given language. ISO 639-1 language codes can also be used.

##### Operators
 a & b logic and a | b logic or !ab logic not abc* right wildcard "ab c" phrase (ab c) parentheses
##### Fields
 any anywhere an internal document identifier au author, editor ai internal author identifier ti title la language so source ab review, abstract py publication year rv reviewer cc MSC code ut uncontrolled term dt document type (j: journal article; b: book; a: book article)
Set theory. The third millennium edition, revised and expanded. (English) Zbl 1007.03002
Springer Monographs in Mathematics. Berlin: Springer. xiii, 769 p. EUR 109.95/net; sFr. 178.00; £ 77.00; $129.00 (2003). Jech’s classic monograph [Set theory. Academic Press, New York (1978; Zbl 0419.03028); Set theory. 2nd, corr. ed. Springer, Berlin (1997; Zbl 0882.03045)] has been a standard reference for a generation of set theorists (including the reviewer). Though carrying the same title and labeled “The Third Millenium Edition,” the present work is in fact a new book. The material has been rearranged into three parts, the third of which mostly deals with recent developments of the field which have taken place since the publication of the first edition. Even sections presenting older results have been rewritten and modernized. Exercises have been moved to the end of each section. The bibliography, the section on notation, and the index have been considerably expanded as well. This new edition will certainly become a standard reference on set theory for years to come. After presenting the Zermelo-Fraenkel axioms of set theory, the first part, called “Basic Set Theory,” provides an introductory exposition of the main notions and areas of set theory, like ordinals and cardinals, real numbers (including basic descriptive set theory), some combinatorial set theory, a glimpse of large cardinals, and basics on models of set theory. This part is built up coherently and may well serve as basis for a one-semester introductory course in set theory. The main body of the book, “Part II. Advanced Set Theory,” contains the important techniques and ideas of modern set theory, dealing with constructibility, forcing, large cardinals, combinatorial set theory, and descriptive set theory, as well as with the interplay between these areas. Most of the material in this part also appeared in the first edition. Exceptions include an outline of the proof of Jensen’s Covering Theorem (Section 18), a brief discussion of inner models for sequences of measures (Section 19) and of extenders (Section 20), results on precipitousness and saturation of the nonstationary ideal (Section 23), and a brief discussion of cardinal invariants related to measure and category (Section 26). The most notable addition is, perhaps, an introduction to Shelah’s pcf theory in Section 24, which contains a complete proof of his result saying that if$\aleph_\omega$is a strong limit cardinal then$2^{\aleph_\omega} < \aleph_{\omega_4}\$. Apart from a few sketchy proofs, details in Part II are carefully worked out, and this is the place to study set-theoretic techniques in depth. Part III, entitled “Selected Topics,” presents an overview of current directions of research in set theory from areas as diverse as inner model theory (e.g., fine structure in Section 27 and core models in Section 35), forcing theory (e.g., the open coloring axiom in Section 29, proper forcing and PFA in Section 31, and semiproper forcing and Martin’s Maximum in Section 37), descriptive set theory (e.g., determinacy in Section 33), as well as the connection of these areas with large cardinals. In particular, a number of equiconsistency results are mentioned (e.g., consistency strength of AD in Section 33, of the failure of the singular cardinal hypothesis in Section 36, of density and saturation of the nonstationary ideal in Section 38). Proofs are often sketchy and technical details are mostly missing. This reflects the fact that, unlike at the time of the first edition, a comprehensive treatment of all major techniques of set theory in a single volume is no longer possible. Because of the breadth of areas covered, the third part is a good place to get an idea on what current research in set theory is about and to look up recent developments.

##### MSC:
 03-02 Research monographs (mathematical logic) 03Exx Set theory 03-01 Textbooks (mathematical logic) 03E05 Combinatorial set theory (logic) 03E45 Constructibility, ordinal definability, and related notions 03E15 Descriptive set theory (logic) 03E40 Other aspects of forcing (set theory) 03E50 Continuum hypothesis; Martin’s axiom (logic) 03E55 Large cardinals 03E35 Consistency; independence results (set theory) 03E60 Axiom of determinacy, etc. 03E04 Ordered sets and their cofinalities 03E10 Ordinal and cardinal arithmetic 03E17 Cardinal characteristics of the continuum 03E02 Partition relations
Full Text: