Set theory and model theory: proceedings of an informal symposium held at Bonn, June 1–3, 1979