Hopfian Groups are Complete co-Analytic

Brian Pinsky
2024-01-23
Abstract: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 (<a class="link-external link-https" href="https://doi.org/10.1007/s00153-017-0597-9" rel="external noopener nofollow">this https URL</a>).
Logic
What problem does this paper attempt to address?