@article{10_4171_ggd_872, author = {Olga Kharlampovich and Rizos Sklinos}, title = {First-order sentences in random groups {II:} $\forall\exists$-sentences}, journal = {Groups, geometry, and dynamics}, pages = {1107--1127}, year = {2025}, volume = {19}, number = {3}, doi = {10.4171/ggd/872}, url = {http://geodesic.mathdoc.fr/articles/10.4171/ggd/872/} }