Пример теории без слабо $(\Sigma,\Sigma)$-атомных моделей

Приводится пример полной индуктивной теории, имеющей алгебраически простые модели, но не имеющей слабо $(\Sigma,\Sigma)$-атомных моделей, что является ответом на вопрос из РЖМат, 1982, ЗА78. Кроме того, описываются реализуемые $\exists$-множества в алгебраически простых моделях индуктивной $\forall\exists$-полной теории.