L^2-Betti numbers and computability of reals

02/07/2022

∙

by   Clara Loeh, et al.

∙

0

∙

share

We study the computability degree of real numbers arising as L^2-Betti numbers or L^2-torsion of groups, parametrised over the Turing degree of the word problem. Moreover, we explain how such considerations can be modelled in a proof assistant.