Models and Sets:Proceedings of the Logic Colloquium held in