Generic countably infinite groups

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 invariant subsets of G, which we call group properties. We say that the generic countably infinite group is of property P if... Show more