On the concept of “largeness” in group theory

In this paper, we will consider the Borel complexity of Pride's quasi-order ≽p and Pride's equivalence relation ≈p on the space G of finitely generated groups. Our main results show that these relations are as complex as they conceivably could be.