$\Sigma$-определимость в наследственно конечных надстройках и пары моделей

Рассматривается проблема $\Sigma$-определимости несчетной модели $c$-простой теории в наследственно конечных надстройках над моделями другой $c$-простой теории. В терминах разрешимых моделей и веденного в работе понятия относительной неразличимости дается одно необходимое условие. Устанавливается критерий $\Sigma$-определимости несчетной модели $c$-простой теории в надстройках над плотными линейными порядками и бесконечными моделями пустой сигнатуры. Доказывается существование $c$-простой теории (бесконечной сигнатуры), каждая несчетная модель которой не является $\Sigma$-определимой в надстройках над плотными линейными порядками. Дается критерий рекурсивной насыщенности для пар моделей.