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.
- ISBN13 9780521339964
- Publish Date 10 December 1987
- Publish Status Active
- Out of Print 6 June 2022
- Publish Country GB
- Imprint Cambridge University Press
- Format Paperback (US Trade)
- Pages 256
- Language English