First-Order Aspects of Coxeter Groups

Bernhard Muhlherr, Gianluca Paolini, Saharon Shelah

We lay the foundations of the first-order model theory of Coxeter groups. Firstly, with the exception of the $2$-spherical non-affine case (which we leave open), we characterize th…