О счётно категоричных теориях

Строится серия счётно категоричных теорий методом Фрайссе. В частности, приводится пример разрешимой счётно категоричной теории конечной сигнатуры, никакая разрешимая модель которой не имеет бесконечного вычислимого множества упорядоченно неразличимых элементов. Такая теория используется для опровержения гипотезы Ершова о представимости моделей $c$-простых теорий над линейными порядками.