The book 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 ...
Read More
The book 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 the book is thus to enable a researcher interested in an independence result of the approprate kind, to have much of the work done for him, thus allowing him to quote general results.
Read Less
Add this copy of Proper and Improper Forcing (Perspectives in Logic, to cart. $168.26, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 2017 by Cambridge University Press.
