Papers

The Cohen--Lyndon property in non-metric small-cancellation , (2025) - appendix to paper of Macarena Arenas

Torsion subgroups of small cancellation groups, (2021).

A new computable version of Hall's Harem Theorem, (2021).

(with Aleksander Ivanov) Computable Paradoxical Decompositions, International Journal of Algebra and Computation (2022) DOI 10.1142/S0218196722500400

(with Aleksander Ivanov) On decidability of amenability in computable groups, Archive for Mathematical Logic (2022) DOI 10.1007/s00153-022-00819-5.