Set theory and model theory proceedings of an informal symposium held at Bonn, june 1.-3. 1979 (Lecture notes in mathematics, 1981)