"Admissible Sets and Structures: An Approach to Definability Theory" - читать интересную книгу автора (J. Barwise)