An Introduction to Independence for Analysts

Forcing is a powerful tool from logic which is used to prove that certain propositions of mathematics are independent of the basic axioms of set theory, ZFC.

H. G. Dales (Author), W. H. Woodin (Author)

9780521339964, Cambridge University Press

Paperback, published 10 December 1987

256 pages
22.8 x 15.2 x 2.6 cm, 0.736 kg

Forcing is a powerful tool from logic which is used to prove that certain propositions of mathematics are independent of the basic axioms of set theory, ZFC. This book explains clearly, to non-logicians, the technique of forcing and its connection with independence, and gives a full proof that a naturally arising and deep question of analysis is independent of ZFC. It provides an accessible account of this result, and it includes a discussion, of Martin's Axiom and of the independence of CH.

1. Homomorphisms from algebras of continuous functions
2. Partial orders, Boolean algebras, and ultraproducts
3. Woodin's condition
4. Independence in set theory
5. Martin's Axiom
6. Gaps in ordered sets
7. Forcing
8. Iterated Forcing.

Subject Areas: Probability & statistics [PBT]