"Fine structure and iteration trees" - читать интересную книгу автора (William J. Mitchell, John R. Steel)