TY  - RPRT
TI  - Formal solutions and the first-order theory of acylindrically hyperbolic groups
AU  - Simon André
AU  - Jonathan Fruchter
PY  - 2020
DO  - 10.1112/jlms.12526
UR  - https://arxiv.org/abs/2005.00216
ID  - 2005.00216
ER  -