Models and Sets: Proceedings of the Logic Colloquium held in