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 …
On the elementary theory of graph products of groups
M Casals-Ruiz, I Kazachkov, JN González - arXiv preprint arXiv …, 2021 - arxiv.org
In this paper we study the elementary theory of graph products of groups and show that
under natural conditions on the vertex groups we can recover (the core of) the underlying …
under natural conditions on the vertex groups we can recover (the core of) the underlying …
Simple groups with infinite verbal width and the same positive theory as free groups
M Casals-Ruiz, A Garreta, I Kazachkov… - Israel Journal of …, 2023 - Springer
SIMPLE GROUPS WITH INFINITE VERBAL WIDTH AND THE SAME POSITIVE THEORY AS
FREE GROUPS∗ Page 1 ISRAEL JOURNAL OF MATHEMATICS 254 (2023), 39–56 DOI …
FREE GROUPS∗ Page 1 ISRAEL JOURNAL OF MATHEMATICS 254 (2023), 39–56 DOI …