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. 
Or Ben Porath, Mark Shusterman
math.GR math.LO