TY  - RPRT
TI  - Computable topological groups
AU  - Heer Tern Koh
AU  - Alexander Melnikov
AU  - Keng Meng Ng
PY  - 2022
DO  - 10.1017/jsl.2023.67
UR  - https://arxiv.org/abs/2209.04617
ID  - 2209.04617
ER  -