An Introduction to Independence for Analysts
, by H. G. Dales , W. H. WoodinNote: Supplemental materials are not guaranteed with Rental or Used book purchases.
- ISBN: 9780521339964 | 0521339960
- Cover: Paperback
- Copyright: 12/25/1987
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 the first accessible account of this result, and it includes a discussion, of Martin's Axiom and of the independence of CH.