Models and sets proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part I (Springer, 1984)