Or Ben Porath

An axiomatizable profinite group with infinitely many open subgroups of index 2

We show that a profinite group with the same first-order theory as the direct product over all odd primes $p$ of the dihedral group of order $2p$, is necessarily isomorphic to this direct product.