A comprehensive mathematical treatise on forcing techniques in set theory. Shelah explores both proper and improper forcing methods and their applications to independence results in mathematics.