Whitehead's problem and condensed mathematics

Jeffrey Bergfalk, Chris Lambie-Hanson, Jan Šaroch

One of the better-known independence results in general mathematics is Shelah's solution to Whitehead's problem of whether ${\mathrm{Ext}}^1(A,\mathbb{Z})=0$ implies that an abelian…