Title: Logic Colloquium (Lecture Notes in Mathematics Ser. Vol 453)