Description
This seminal work by Shelah provides an in-depth examination of forcing in set theory, one of the most powerful techniques in mathematical logic. The book systematically explores both proper forcing, which preserves cardinals and other important properties, and improper forcing methods used to derive independence results.
Shelah’s treatment covers fundamental concepts, advanced techniques, and applications to major problems in set theory and model theory. The text addresses how forcing can be used to construct models of set theory with desired properties, demonstrating independence from standard axioms.
Essential reading for researchers in mathematical logic, set theory, and foundations of mathematics, this work represents a definitive reference for understanding forcing methodology. The book combines rigorous mathematical exposition with practical examples that illustrate both the power and limitations of various forcing techniques.
Reviews
There are no reviews yet.