Definable (co)homology, pro-torus rigidity, and (co)homological classification

Jeffrey Bergfalk, Martino Lupini, Aristotelis Panagiotopoulos

We show that the classical homology theory of Steenrod may be enriched with descriptive set-theoretic information. We prove that the resulting definable homology theory provides a…