Paul Bankston Taxonomies of Model-Theoretically Defined Topological Properties. 589-603 1990 55 J. Symb. Log. 2 db/journals/jsyml/jsyml55.html#Bankston90