TY - RPRT TI - The definable content of homological invariants I: $\mathrm{Ext}$ & $\mathrm{lim}^1$ AU - Jeffrey Bergfalk AU - Martino Lupini AU - Aristotelis Panagiotopoulos PY - 2024 UR - https://arxiv.org/abs/2008.08782 ID - 2008.08782 ER -