Isomorphism and classification for countable structures

Russell Miller

We introduce a topology on the space of all isomorphism types represented in a given class of countable models, and use this topology as an aid in classifying the isomorphism types…