Su Gao Some Dichotomy Theorems for Isomorphism Relations of Countable Models. 902-922 2001 66 J. Symb. Log. 2 db/journals/jsyml/jsyml66.html#Gao01a