Topological model theory - Flum, Jörg, 1944- (Lecture notes in mathematics ; LNM ;, 1980)