Worked solution: Shelah's proof that the Whitehead problem is independent of ZFC (1974)
Shelah's construction turned out not to be an isolated curiosity: the technique of building "almost free" structures whose global behavior depends on set-theoretic axioms became a research area in its own right, systematically applied to modules, rings, and other algebraic structures far beyond the original Whitehead group.
The lesson generalized well past this one problem: algebraic questions phrased for uncountable structures can, quite unexpectedly, be no more decidable than the continuum hypothesis itself, reshaping how algebraists think about what "proving a theorem about all infinite groups" can even mean.
Paul Eklof and Alan Mekler's monograph "Almost Free Modules: Set-Theoretic Methods" (1990, revised edition 2002) systematized the techniques from Shelah's proof — filtrations, -guided constructions, almost-disjoint-family gluings — into a general toolkit, applied to a wide range of questions about modules over more general rings, not just .
Following Whitehead's problem, similar independence phenomena were found throughout infinite abelian group and module theory: questions about the existence of arbitrarily large indecomposable modules, about when certain cotorsion-theoretic invariants vanish, and about structural properties of modules over specific classes of rings have all been shown, by these same set-theoretic methods, to be sensitive to axioms like , , and stronger forcing axioms.
Shelah's work on the Whitehead problem, alongside his vast subsequent body of work in model theory, cardinal arithmetic (including PCF theory, surveyed in the companion proof of the continuum hypothesis), and set theory more broadly, contributed to his standing as one of the most prolific mathematicians of the twentieth and twenty-first centuries, honored with the Wolf Prize in Mathematics in 2001.