"Полные теории с конечным числом счётных моделей I" - читать интересную книгу автора (Судоплатов С. В.)