  We show the set of Hopfian countable groups is a complete co-analytic subset
of the standard Borel space of countable groups, resolving a question posed by
Simon Thomas (https://doi.org/10.1007/s00153-017-0597-9).
