Proper and Improper Forcing (Hardcover, 2 Revised edition)

Introduction; 1. Forcing, basic facts; 2. Iteration of forcing; 3. Proper forcing; 4. On oracle-c.c., the lifting problem of the measure algebra, and 'P(w)/finite has no trivial automorphism'; 5. α-properness and not adding reals; 6. Preservation of additional properties, and applications; 7. Axioms and their application; 8. κ-pic and not adding reals; 9. Souslin hypothesis does not imply 'every Aronszajn tree is special'; 10. On semi-proper forcing; 11. Changing confinalities; equi-consistency results; 12. Improper forcing; 13. Large ideals on w1; 14. Iterated forcing with uncountable support; 15. A more general iterable condition ensuring ?1 is not collapsed; 16. Large ideals on ?1 from smaller cardinals; 17. Forcing axioms; 18. More on proper forcing; Appendix. On weak diamonds and the power of ext; References; More references.