Formal solutions and the first‐order theory of acylindrically hyperbolic groups
S André, J Fruchter - Journal of the London Mathematical …, 2022 - Wiley Online Library
We generalise Merzlyakov's theorem about the first‐order theory of non‐abelian free groups
to all acylindrically hyperbolic groups. As a corollary, we deduce that if GG is an …
to all acylindrically hyperbolic groups. As a corollary, we deduce that if GG is an …