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

Показано, что всякая $c$-простая теория с дополнительным условием дискретности имеет несчетную модель, $\Sigma$-определимую в $\mathbb{HF}(\mathbb L)$, $\mathbb L$ – плотный линейный порядок. В качестве следствия этот факт установлен для всех $c$-простых теорий конечной сигнатуры, являющихся подмодельно полными.