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

Or Ben Porath, Mark Shusterman

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…