2 papers
math.LO2026
The epimorphism relation among countable groups is a complete analytic quasi-order
Su Gao, Feng Li, André Nies +1
We prove that the epimorphism relation is a complete analytic quasi-order on the space of countable groups. In the process, we obtain the result of independent interest that the ep…
math.LO2026
Procountable groups are not classifiable by countable structures
Su Gao, André Nies, Gianluca Paolini
We prove that topological isomorphism on procountable groups is not classifiable by countable structures, in the sense of descriptive set theory. In fact, the equivalence relation…