This work deals with set-theoretic independence results (independence from the usual set-theoretic ZFC axioms), in particular for problems on the continuum. Consequently, the theory of iterated forcing is developed. The author gives a complete presentation of the theory of proper forcing and its relatives, starting from the beginning and avoiding the metamathematical considerations. In addition to particular consistency results, the author shows methods which can be used for such independence results. Many of these are presented in an "axiomatic" framework (a la Martin's axiom) for this reason. The main aim of this book is to enable a researcher interested in an independence result of the appropriate kind, to have much of the work done for him, thus allowing him to quote general results.
- ISBN10 3540517006
- ISBN13 9783540517009
- Publish Date 30 November 1997
- Publish Status Active
- Publish Country DE
- Publisher Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Imprint Springer-Verlag Berlin and Heidelberg GmbH & Co. K
- Edition 2nd edition
- Format Hardcover
- Pages 1074
- Language English