"Saturated model theory" - читать интересную книгу автора (Gerald E Sacks)