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