When graduate students first encounter the rigorous landscape of modern set theory, one name looms large over the dusty chalkboards and late-night problem sets: . His legendary text, Set Theory: An Introduction to Independence Proofs , first published in 1980 and revised in 2011, remains the gold standard for learning the interplay between combinatorial set theory, logic, and forcing. However, for every student who has stared at a Kunen exercise for three hours, the same silent plea emerges: Where are the solutions?
Find ordinals $\alpha, \beta$ such that $\alpha + \beta \neq \beta + \alpha$. Set Theory Exercises And Solutions Kennett Kunen
Working through the exercises is the only way to gain "fluency" in forcing and model construction. Without them, the theory remains abstract and difficult to apply. Key Topics and Sample Exercise Types 1. Fundamentals of ZFC Early exercises often focus on the cumulative hierarchy ( Vαcap V sub alpha ) and ordinal arithmetic. Prove that for every ordinal Vαcap V sub alpha is a transitive set. Solution Tip: Use transfinite induction on Find ordinals $\alpha, \beta$ such that $\alpha +