First-order sentences in random groups III

Olga Kharlampovich, Alexei Miasnikov, Rizos Sklinos

We show that a first-order sentence is almost surely true in a random group of density d<1/2 if and only if it is true in a non-abelian free group.