Ever since Paul Cohen's spectacular use of the forcing concept to prove the independence of the continuum hypothesis from the standard axioms of set theory, forcing has been seen by the general mathematical community as a subject of great intrinsic interest but one that is technically so forbidding that it is only accessible to specialists. In the past decade, a series of remarkable solutions to long-standing problems in C*-algebra using set-theoretic methods, many achieved by the author and his collaborators, have renewed interest in this subject. This is the first book aimed at explaining forcing to general mathematicians. It simultaneously makes the subject broadly accessible by explaining it in a clear, simple manner, and surveys advanced applications of set theory to mainstream topics.
Peano Arithmetic; Zermelo - Fraenkel Set Theory; Well-Ordered Sets;
Ordinals; Cardinals; Relativization; Reflection; Forcing Posets; Generic
Extensions; Forcing Equality; The Fundamental Theorem of Forcing; Forcing CH;
Forcing not-CH; Families of Entire Functions; Self-Homeomorphisms of Beta N -
N, I; Pure States on B(H); The Diamond Principle; Suslin's Problem, I;
Naimark's problem; Product Forcing and Diamond^S; The Whitehead Problem, I;
Two-Stage Iterated Forcing; Finite Support Iteration; Martin's Axiom;
Suslin's Problem, II; The Whitehead Problem, II; The Open Coloring Axiom;
Self-Homeomorphisms of Beta N - N, II; Automorphisms of the Calkin Algebra,
I; Automorphisms of the Calkin Algebra, II; The Multiverse Interpretation.
