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. (English) Zbl 1262.03001
Studies in Logic (London) 34. London: College Publications (ISBN 978-1-84890-050-9/pbk). viii, 401 p. EUR 19.50 (2011).
This is an important textbook in advanced set theory, comparable to {\it T. Jech}’s [Set theory. The third millenium edition. Berlin: Springer (2003; Zbl 1007.03002)] and to [{\it M. Foreman} (ed.) and {\it A. Kanamori} (ed.), Handbook of set theory. In 3 volumes. Dordrecht: Springer (2010; Zbl 1197.03001)]. It assumes expert knowledge of elementary axiomatic set theory (for example, from the author’s textbook [Set theory. An introduction to independence proofs. Amsterdam, New York, Oxford: North-Holland Publishing Company (1980; Zbl 0443.03021)]) and model theory. There are five chapters. Chapter I, labeled “Background material”, starts with a short discussion about the author’s conception of the formalist philosophy of mathematics and introduces the Zermelo-Fraenkel axiom system, followed by a treatment of many of the basic topics (including ordinals, induction, recursion, uncountable cardinals, the axiom of choice, and a few results in model theory and recursion theory). Chapter II, “Easy consistency proofs”, starts by proving the relative consistency of the Axiom of Foundation, and then derives the Reflection Theorem. This is followed by a nice treatment of constructible sets and $V = L$, and then by the definition of ordinal-definable sets and a sketch of the relative consistency of ZFC. The chapter concludes with a treatment of set theory with classes. Chapter III, “Infinitary combinatorics”, has much more meat to it: the countable chain condition, Martin’s Axiom, trees, club filters, the diamond principles, and the theory of elementary submodels. Chapter IV contains a nice exposition of forcing and some of its applications, including the independence of the axiom of choice. Chapter V, “Iterated forcing”, has some sophisticated applications, especially to some independence proofs involving Martin’s Axiom. It ends with a relatively modest exposition of the Proper Forcing Axiom. Unfortunately, we have not succeeded in presenting an adequate summary of the rich results that can be found in this book.

MSC:
03-01Textbooks (mathematical logic)
03-02Research monographs (mathematical logic)
03E35Consistency; independence results (set theory)
03E40Other aspects of forcing (set theory)
03E45Constructibility, ordinal definability, and related notions
03E50Continuum hypothesis; Martin’s axiom (logic)
03E55Large cardinals
03E57Generic absoluteness; forcing axioms