Models and sets : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 / - Müller, G. H.; Richter, Michael M., (Springer-Verlag,, 1984)