Around first-order rigidity of Coxeter groups

Simon André, Gianluca Paolini

By the work of Sela, for any free group $F$, the Coxeter group $W_3=\mathbb{Z}/2\mathbb{Z}\ast \mathbb{Z}/2\mathbb{Z}\ast \mathbb{Z}/2\mathbb{Z}$ is elementarily equivalent to…