Abstract:Abstract This is the first installment in a series of papers illustrating how classical invariants of homological algebra and algebraic topology may be enriched with additional descriptive set theoretic information. To effect this enrichment, we show that many of these invariants may be naturally regarded as functors to the category, introduced herein, of groups with a Polish cover . The resulting definable invariants provide far stronger means of classification. In the present work we focus on the first derived functors of and . The resulting definable for pairs of countable abelian groups and definable for towers of Polish abelian groups substantially refine their classical counterparts. We show, for example, that the definable is a fully faithful contravariant functor from the category of finite‐rank torsion‐free abelian groups with no free summands; this contrasts with the fact that there are uncountably many non‐isomorphic such groups with isomorphic classical invariants . To facilitate our analysis, we introduce a general Ulam stability framework for groups with a Polish cover; within this framework we prove several rigidity results for non‐Archimedean abelian groups with a Polish cover. A special case of our main result answers a question of Kanovei and Reeken regarding quotients of ‐adic groups. Finally, using cocycle superrigidity methods for profinite actions of property (T) groups, we obtain a hierarchy of complexity degrees for the problem of classifying all group extensions of by up to base‐free isomorphism , when for prime numbers and .

The adjacent Hindman's theorem for uncountable groups

Hadamard difference sets related to Lander's conjecture

Owings-like theorems for infinitely many colours or finite monochromatic sets

The adjacent Hindman's theorem and the $\mathbb Z$-Ramsey theorem

Canonical Theorems for Colored Integers with Respect to Some Linear Combinations

Monochromatic Sumsets in Countable Colourings of Abelian Groups

Thin Set Versions of Hindman's Theorem

Bohr sets in sumsets II: countable abelian groups

Artinian groups of large cardinality

On cardinalities in quotients of inverse limits of groups

Sum-avoiding sets in groups

Relative Dehn fuctions, hyperbolically embedded subgroups and combination theorems

Kemperman's inequality and Freiman's lemma via few translates

Monochromatic Sums and Products over $\mathbb{Q}$

A note on infinite versions of $(p,q)$-theorems

The definable content of homological invariants I: Ext and lim1

Possible Cardinalities of Maximal Abelian Subgroups of Quotients of Permutation Groups of the Integers

Non commutative multidimensional stronger Central Sets Theorem

Steep uncountable groups

Unreachability of $\bf{Γ_{2n+1,m}}$

Algebraic and geometric properties of homeomorphism groups of ordinals