"Fine Structure and Class Forcing (De Gruyter Series in Logic and Its Applications, 3)" - читать интересную книгу автора (Sy D. Friedman)