TY - RPRT TI - Rich groups, weak second order logic, and applications AU - Olga Kharlampovich AU - Alexei Myasnikov AU - Mahmood Sohrabi PY - 2022 UR - https://arxiv.org/abs/2109.13133 ID - 2109.13133 ER -