First-order sentences in random groups II: $\forall \exists$-sentences

Olga Kharlampovich, Rizos Sklinos

We prove that a random group, in Gromov's density model with $d<1/16$ satisfies with overwhelming probability a universal-existential first-order sentence $\sigma$ (in the language of…