(Pre)prints
The algebraic cheap rebuilding property (pdf)
joint work with Kevin Li, Clara Löh, Marco Moraschini and Roman Sauer
arXiv: 2409.05774 [math.GR]
Torsion homology growth and cheap rebuilding of inner-amenable groups (pdf)
arXiv: 2212.07916 [math.GR]
To appear in Groups, Geometry and Dynamics. The DOI is 10.4171/GGD/803.
\(L^2\)-Betti numbers and computability of reals (pdf)
joint work with Clara Löh
(Partial) Implementation in Lean
arXiv: 2202.03159 [math.GR]
Original Publication in Computability, vol. 12, no. 2, pp. 175-201, 2023. The DOI is 10.3233/COM-220416.
Miscellaneous
Amenable Groups in Lean, September 2022 (repository)
Master Thesis
Computability and \(\ell^2\)-Betti Numbers (pdf)
The DOI is 10.5283/epub.51433
(Partial) Implementation in Lean