Generic countably infinite groups

Márton Elekes, Boglárka Gehér, Kristóf Kanalas +2

Countably infinite groups (with a fixed underlying set) constitute a Polish space $G$ with a suitable metric, hence the Baire category theorem holds in $G$. We study isomorphism in…