"Индексные множества разрешимых моделей" - читать интересную книгу автора (Фокина Е. Б.)