First-order sentences in random groups

Olga Kharlampovitch (CUNY)

We prove that a random group, in Gromov's density model with d<1/2, satisfies a first-order sentence (in the language of groups) if and only if this sentence is true in a nonabelian free group. This is a joint work with A. Miasnikov and R. Sklinos.