"Set theory and model theory. Proceedings informal symposium, Bonn, 1979" - читать интересную книгу автора (R.B. Jensen, A. Prestel)