1: \begin{abstract} 

2: We prove that the irreducible affine Coxeter groups are first-order rigid and deduce from this that they are profinitely rigid in the absolute sense. 

3: %This is the first time that a first-order rigidity result has been used to obtain profinite rigidity. 

4: %Interestingly, our proof relies on a careful analysis of the crystallography of Coxeter groups from \cite{maxwell}. 

5: %

6: %

7: We then show that the first-order theory of any irreducible affine Coxeter group does not have a prime model. Finally, we prove that universal Coxeter groups of finite rank are homogeneous, and that the same applies to every hyperbolic (in the sense of Gromov) one-ended right-angled Coxeter group.

8: %this is the first example known to the authors of a non homogenenous [free abelian]-by-finite finitely presented group. 

9: %On the other hand, we show that in the triangle Coxeter group $(4, 4, 2)$ finite  tuples from the translation subgroup are type determined, in this direction we conjecture that this partial homogeneity phenomenon holds for any irreducible affine Coxeter group. 

10: %

11: %

12: %and that \mbox{the first-order theory of $W_{2n}$ does not have a prime model.}

13: %(Gromov) hyperbolic one-ended right-angled Coxeter groups are homogeneous and that the first-order theory of any universal \mbox{Coxeter group of finite rank does not have a prime model.}

14: \end{abstract}

15: