"Admissible sets and structures: An approach to definability theory" - читать интересную книгу автора (J. Barwise)